Semantic Web Rule Languages for Geospatial Ontologies

2010 ◽  
pp. 149-169
Author(s):  
Philip D. Smart ◽  
Alia Abdelmoty ◽  
Baher A. El-Geresy
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Continuous Process ◽  
Geographical Information ◽  
Ontology Language ◽  
Rule Languages ◽  
Sample Application ◽  
Representation Language ◽  
Representational Approach ◽  
Geospatial Ontologies

Geospatial ontologies have a key role to play in the development of the geospatial-Semantic Web, with regard to facilitating the search for geographical information and resources. They normally hold large volumes of geographic information and undergo a continuous process of revision and update. Limitations of the OWL ontology representation language for supporting geospatial domains are discussed and an integrated rule and ontology language is recognized as needed to support the representation and reasoning requirements in this domain. A survey of the current approaches to integrating ontologies and rules is presented and a new framework is proposed that is based on and extends Description Logic Programs. A hybrid representational approach is adopted where the logical component of the framework is used to represent geographical concepts and spatial rules and an external computational geometry processor is used for storing and manipulating the associated geometric data. A sample application is used to demonstrate the proposed language and engine and how they address the identified challenges.

Semantic Web Rule Languages for Geospatial Ontologies

2011 ◽  
pp. 648-669
Author(s):  
Philip D. Smart ◽  
Alia I. Abdelmoty ◽  
Baher A. El-Geresy ◽  
Christopher B. Jones
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Continuous Process ◽  
Geographical Information ◽  
Ontology Language ◽  
Rule Languages ◽  
Sample Application ◽  
Representation Language ◽  
Representational Approach ◽  
Geospatial Ontologies

Geospatial ontologies have a key role to play in the development of the geospatial-Semantic Web, with regard to facilitating the search for geographical information and resources. They normally hold large volumes of geographic information and undergo a continuous process of revision and update. Limitations of the OWL ontology representation language for supporting geospatial domains are discussed and an integrated rule and ontology language is recognized as needed to support the representation and reasoning requirements in this domain. A survey of the current approaches to integrating ontologies and rules is presented and a new framework is proposed that is based on and extends Description Logic Programs. A hybrid representational approach is adopted where the logical component of the framework is used to represent geographical concepts and spatial rules and an external computational geometry processor is used for storing and manipulating the associated geometric data. A sample application is used to demonstrate the proposed language and engine and how they address the identified challenges.

Logics for the Semantic Web

2011 ◽  
pp. 24-43
Author(s):  
J. Bruijn
Keyword(s):  
Semantic Web ◽  
Logic Programming ◽  
Description Logic ◽  
Description Logics ◽  
Order Logic ◽  
First Order Logic ◽  
Horn Logic ◽  
First Order ◽  
Logical Language ◽  
Rule Languages

This chapter introduces a number of formal logical languages which form the backbone of the Semantic Web. They are used for the representation of both ontologies and rules. The basis for all languages presented in this chapter is the classical first-order logic. Description logics is a family of languages which represent subsets of first-order logic. Expressive description logic languages form the basis for popular ontology languages on the Semantic Web. Logic programming is based on a subset of first-order logic, namely Horn logic, but uses a slightly different semantics and can be extended with non-monotonic negation. Many Semantic Web reasoners are based on logic programming principles and rule languages for the Semantic Web based on logic programming are an ongoing discussion. Frame Logic allows object-oriented style (frame-based) modeling in a logical language. RuleML is an XML-based syntax consisting of different sublanguages for the exchange of specifications in different logical languages over the Web.

The Study of Ontology Reasoning to Semantic Web

2011 ◽  
Vol 181-182 ◽  
pp. 230-235
Author(s):  
Xian Yi Cheng ◽  
Ai Qin Yang ◽  
Xue Yun Cheng
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Practical Reasoning ◽  
Reasoning Task ◽  
Ontology Construction ◽  
Semantic Reasoning ◽  
Ontology Reasoning ◽  
Knowledge Reasoning ◽  
Ontology Language ◽  
Knowledge Expression

The next generation Web, Semantic Web, has recently been drawn considerable attention from both academia and industry. The ontology is regarded as the cornerstone of the Semantic Web, is playing an important role with the knowledge expression and knowledge reasoning. Ontology language, Description Logic and the relationships of them were presented. This paper analyzes the principle of semantic reasoning about DL and reasoning machine. Finally, performers testify the practical reasoning task about a concrete Ontology construction.

scholarly journals Decentralized case-based reasoning and Semantic Web technologies applied to decision support in oncology

2013 ◽  
Vol 28 (4) ◽  
pp. 425-449 ◽  
Author(s):  
Mathieu d'Aquin ◽  
Jean Lieber ◽  
Amedeo Napoli
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Medical Decision ◽  
Case Based Reasoning ◽  
Medical Problems ◽  
Semantic Web Technologies ◽  
Web Technologies ◽  
Ontology Language ◽  
Concept Classification ◽  
Case Based

AbstractThis article presents the Kasimir system dedicated to decision knowledge management in oncology and which is built on top of Semantic Web technologies, taking benefit from standard knowledge representation formalisms and open reasoning tools. The representation of medical decision protocols, in particular for breast cancer treatment, is based on concepts and instances implemented within the description logic OWL DL (Web ontology language description logic). The knowledge units related to a protocol can then be applied for solving specific medical problems, using instance or concept classification. However, the straight application of a protocol is not always satisfactory, for example, because of contraindications, necessitating an adaptation of the protocol. This is why the principles and methods of case-based reasoning (CBR) in the framework of DLs have been used. In addition, the domain of oncology is complex and involves several specialties, for example, surgery and chemotherapy. This complexity can be better undertaken with a viewpoint-based representation of protocols and viewpoint-based reasoning, for either application or adaptation of the protocols. Accordingly, a distributed DL has been used for representing a viewpoint-based protocol. The application and the adaptation of the viewpoint-based protocol to medical cases is carried out using global instance classification and decentralized CBR.

Rule-Based OWL Ontology Reasoning Systems

2010 ◽  
pp. 124-148 ◽  
Author(s):  
Georgios Meditskos ◽  
Nick Bassiliades
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Formal Semantics ◽  
Web Ontology Language ◽  
Rule Engine ◽  
Basic Principles ◽  
Rule Based ◽  
Ontology Language ◽  
Open Nature ◽  
The Web

This chapter is focused on the basic principles behind the utilization of rules in order to perform reasoning about the Web Ontology Language (OWL), a Description Logic-based language that is the W3C recommendation for creating and sharing ontologies in the Semantic Web. More precisely, we elaborate on the entailment-based OWL reasoning (EBOR) paradigm, which is based on the utilization of RDF/ RDFS and OWL entailment rules that run on a rule engine, applying the formal semantics of the ontology language. To this end, seven EBOR systems are described and compared, analyzing the different approaches. Despite the closed rule environment, which comes in contrast with the open nature of the Semantic Web, and the fact that OWL semantics are partially mapped into rules, the rule-based OWL reasoning paradigm can give great potentials in the Semantic Web, enabling the utilization of rule engines on top of ontology information.

scholarly journals OWL: a Description-Logic-Based Ontology Language for the Semantic Web

2010 ◽  
pp. 458-486 ◽  
Author(s):  
I. Horrocks ◽  
P. F. Patel-Schneider ◽  
D. L. McGuinness ◽  
C. A. Welty
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Ontology Language

The Study of Ontology Reasoning to Semantic Web

2011 ◽  
Vol 204-210 ◽  
pp. 375-380
Author(s):  
Xian Yi Cheng ◽  
Ai Qin Yang ◽  
Xue Yun Cheng
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Practical Reasoning ◽  
Reasoning Task ◽  
Ontology Construction ◽  
Semantic Reasoning ◽  
Ontology Reasoning ◽  
Knowledge Reasoning ◽  
Ontology Language ◽  
Knowledge Expression

The next generation Web, Semantic Web, has recently been drawn considerable attention from both academia and industry. The ontology is regarded as the cornerstone of the Semantic Web, is playing an important role with the knowledge expression and knowledge reasoning. Ontology language, Description Logic and the relationships of them were presented. This paper analyzes the principle of semantic reasoning about DL and reasoning machine. Finally, performers testify the practical reasoning task about a concrete Ontology construction.

PEER-TO-PEER REASONING FOR INTERLINKED ONTOLOGIES

2010 ◽  
Vol 04 (01) ◽  
pp. 27-58 ◽  
Author(s):  
ANNE SCHLICHT ◽  
HEINER STUCKENSCHMIDT
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Distributed Query Processing ◽  
Distributed Reasoning ◽  
Distributed Query ◽  
Ontology Language ◽  
Almost All ◽  
Machine Readable ◽  
Logic Reasoning ◽  
The Web

The Semantic Web is commonly perceived as a web of partially-interlinked machine readable data. This data is inherently distributed and resembles the structure of the web in terms of resources being provided by different parties at different physical locations. A number of infrastructures for storing and querying distributed semantic web data, primarily encoded in RDF have been developed. While there are first attempts for integrating RDF Schema reasoning into distributed query processing, almost all the work on description logic reasoning as a basis for implementing inference in the Web Ontology Language OWL still assumes a centralized approach where the complete terminology has to be present on a single system and all inference steps are carried out on this system. We have designed and implemented a distributed reasoning method that preserves soundness and completeness of reasoning under the original OWL import semantics and has beneficial properties regarding parallel computation and overhead caused by communication effort and additional derivations. The method is based on sound and complete resolution methods for the description logic [Formula: see text] that we modify to work in a distributed setting.

scholarly journals Logical Foundations of RDF(S) with Datatypes

2010 ◽  
Vol 38 ◽  
pp. 535-568 ◽  
Author(s):  
J. De Bruijn ◽  
S. Heymans
Keyword(s):  
Semantic Web ◽  
Lower Bounds ◽  
Resource Description Framework ◽  
Description Logic ◽  
Upper Bounds ◽  
Logical Foundations ◽  
Ontology Language ◽  
Description Framework ◽  
Resource Description ◽  
Rdf Schema

The Resource Description Framework (RDF) is a Semantic Web standard that provides a data language, simply called RDF, as well as a lightweight ontology language, called RDF Schema. We investigate embeddings of RDF in logic and show how standard logic programming and description logic technology can be used for reasoning with RDF. We subsequently consider extensions of RDF with datatype support, considering D entailment, defined in the RDF semantics specification, and D* entailment, a semantic weakening of D entailment, introduced by ter Horst. We use the embeddings and properties of the logics to establish novel upper bounds for the complexity of deciding entailment. We subsequently establish two novel lower bounds, establishing that RDFS entailment is PTime-complete and that simple-D entailment is coNP-hard, when considering arbitrary datatypes, both in the size of the entailing graph. The results indicate that RDFS may not be as lightweight as one may expect.

Research on Ontology-Based Semantic Reasoning

2010 ◽  
Vol 171-172 ◽  
pp. 136-139
Author(s):  
Lan Song ◽  
Li Xia Lei ◽  
Hong Wang ◽  
Jun Hong Hua
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Transitive Closure ◽  
Semantic Reasoning ◽  
Ontology Language ◽  
Relationship Of ◽  
The Relationship ◽  
Rdf Schema

As a new emerging web, semantic web, has recently drawn considerable attention from both academic and industry field. Nowadays, RDF, RDF Schema, OWL etc. have become commonly used languages in the Semantic Web. This paper describes the ontology language and description logic, shows the relationship of them, and finally presents a reasoning path for transitive closure in an ontology document.

Sign in / Sign up

Export Citation Format

Share Document