OWL: A Description Logic Based Ontology Language

2005 ◽  
pp. 1-4 ◽  
Author(s):  
Ian Horrocks
Keyword(s):  
Description Logic ◽  
Ontology Language

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.

Reasoning on the Semantic Web

2011 ◽  
pp. 110-133
Author(s):  
R. Brussee
Keyword(s):  
Real World ◽  
Description Logic ◽  
World Knowledge ◽  
Closed World Assumption ◽  
Sharp Distinction ◽  
Ontology Language ◽  
Closed World ◽  
Present Information ◽  
Logical Modeling ◽  
Case Reasoning

We describe reasoning as the process needed for using logic. Efficiently performing this process is a prerequisite for using logic to present information in a declarative way and to construct models of reality. In particular we describe description logic and the owl ontology language and explain that in this case reasoning amounts to graph completion operations that can be performed by a computer program. We give an extended example, modeling a building with wireless routers and explain how such a model can help in determining the location of resources. We emphasize how different assumptions on the way routers and buildings work are formalized and made explicit in our logical modeling, and explain the sharp distinction between knowing some facts and knowing all facts (open vs. closed world assumption). This should be helpful when using ontologies in applications needing incomplete real world knowledge.

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.

scholarly journals Overview and Utilization of the NCI Thesaurus

2004 ◽  
Vol 5 (8) ◽  
pp. 648-654 ◽  
Author(s):  
Gilberto Fragoso ◽  
Sherri de Coronado ◽  
Margaret Haber ◽  
Frank Hartel ◽  
Larry Wright
Keyword(s):  
National Cancer Institute ◽  
Description Logic ◽  
Biological Processes ◽  
Gene Products ◽  
Collaborative Effort ◽  
Web Ontology Language ◽  
Ontology Language ◽  
File Formats ◽  
History Of ◽  
The Web

The NCI Thesaurus is a reference terminology covering areas of basic and clinical science, built with the goal of facilitating translational research in cancer. It contains nearly 110 000 terms in approximately 36000 concepts, partitioned in 20 subdomains, which include diseases, drugs, anatomy, genes, gene products, techniques, and biological processes, among others, all with a cancer-centric focus in content, and originally designed to support coding activities across the National Cancer Institute. Each concept represents a unit of meaning and contains a number of annotations, such as synonyms and preferred name, as well as annotations such as textual definitions and optional references to external authorities. In addition, concepts are modelled with description logic (DL) and defined by their relationships to other concepts; there are currently approximately 90 types of named relations declared in the terminology. The NCI Thesaurus is produced by the Enterprise Vocabulary Services project, a collaborative effort between the NCI Center for Bioinformatics and the NCI Office of Communications, and is part of the caCORE infrastructure stack (http://ncicb.nci.nih.gov/NCICB/core). It can be accessed programmatically through the open caBIO API and browsed via the web (http://nciterms.nci.nih.gov). A history of editing changes is also accessible through the API. In addition, the Thesaurus is available for download in various file formats, including OWL, the web ontology language, to facilitate its utilization by others.

A Unified Information Model for Product Family Design Management

2005 ◽  
Author(s):  
Jyotirmaya Nanda ◽  
Timothy W. Simpson ◽  
Steven B. Shooter ◽  
Robert B. Stone
Keyword(s):  
Description Logic ◽  
Product Family ◽  
Information Model ◽  
Design Management ◽  
Product Families ◽  
Design Information ◽  
Ontology Language ◽  
Information Exploration ◽  
Realization Process ◽  
Product Realization

A flexible information model for systematic development and deployment of product families during all phases of the product realization process is crucial for product-oriented organizations. In this paper we propose a unified information model to capture, share, and organize product design contents, concepts, and contexts across different phases of the product realization process using a web ontology language (OWL) representation. Representing product families by preconceived common ontologies shows promise in promoting component sharing while facilitating search and exploration of design information over various phases and spanning multiple products in a family. Three distinct types of design information, namely, (1) customer needs, (2) product functions, and (3) product components captured during different phases of the product realization process, are considered in this paper to demonstrate the proposed information model. Product vector and function component mapping matrices along with the common ontologies are utilized for designer-initiated information exploration and aggregation. As a demonstration, six products from a family of power tools are represented in OWL DL (Description Logic) format, capturing distinct information needed during the various phases of product realization.

scholarly journals Representing and classifying arguments on the Semantic Web

2011 ◽  
Vol 26 (4) ◽  
pp. 487-511 ◽  
Author(s):  
Iyad Rahwan ◽  
Bita Banihashemi ◽  
Chris Reed ◽  
Douglas Walton ◽  
Sherief Abdallah
Keyword(s):  
Automated Reasoning ◽  
Description Logic ◽  
Research Community ◽  
Argumentation Schemes ◽  
Web Based ◽  
Argument Analysis ◽  
Ontology Language ◽  
Support Tools ◽  
Interchange Format ◽  
Web Based System

AbstractUntil recently, little work has been dedicated to the representation and interchange of informal, semi-structured arguments of the type found in natural language prose and dialogue. To redress this, the research community recently initiated work towards an Argument Interchange Format (AIF). The AIF aims to facilitate the exchange of semi-structured arguments among different argument analysis and argumentation-support tools. In this paper, we present a Description Logic ontology for annotating arguments, based on a new reification of the AIF and founded in Walton's theory of argumentation schemes. We demonstrate how this ontology enables a new kind of automated reasoning over argument structures, which complements classical reasoning about argument acceptability. In particular, Web Ontology Language reasoning enables significantly enhanced querying of arguments through automatic scheme classifications, instance classification, inference of indirect support in chained argument structures, and inference of critical questions. We present the implementation of a pilot Web-based system for authoring and querying argument structures using the proposed ontology.

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.

The Applications of Description Logics in Natural Language Processing

2011 ◽  
Vol 181-182 ◽  
pp. 236-241
Author(s):  
Xian Yi Cheng ◽  
Chen Cheng ◽  
Qian Zhu
Keyword(s):  
Natural Language Processing ◽  
Natural Language ◽  
Language Processing ◽  
Domain Knowledge ◽  
Description Logic ◽  
Description Logics ◽  
Semantic Interpretation ◽  
Natural Language Semantic ◽  
Ontology Language ◽  
Basic Ideas

As a sort of formalizing tool of knowledge representation, Description Logics have been successfully applied in Information System, Software Engineering and Natural Language processing and so on. Description Logics also play a key role in text representation, Natural Language semantic interpretation and language ontology description. Description Logics have been logical basis of OWL which is an ontology language that is recommended by W3C. This paper discusses the description logic basic ideas under vocabulary semantic, context meaning, domain knowledge and background knowledge.

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.

Sign in / Sign up

Export Citation Format

Share Document