Abstract Nominal schemas have been proposed as an extension to Description Logics (DL), the knowledge representation paradigm underlying Web Ontology Language (OWL). They provide for a very tight integration of DL and rules. can be understood syntactic sugar on top OWL. However, this naive perspective leads inefficient reasoning procedures. In order develop efficient procedure language ${\mathc...

Title of dissertation: DEBUGGING AND REPAIR OF OWL ONTOLOGIES Aditya Kalyanpur, Doctor of Philosophy, 2006 Dissertation directed by: Professor James Hendler Department of Computer Science With the advent of Semantic Web languages such as OWL (Web Ontology Language), the expressive Description Logic SHOIN is exposed to a wider audience of ontology users and developers. As an increasingly large n...

The domination of XML in the Internet for data exchange has led to the development of standards with XML Schema syntax for several application domains. Advanced semantic support, provided by domain ontologies and semantic Web tools like logic-based reasoners, is still very useful for many applications. In order to provide it, interoperability between XML Schema and OWL is necessary so that XML ...

In this paper, we will argue that a well-defined subset of English can be used to express the same kind of information as the description logic layer of the Web Ontology Language OWL DL. We will first show what kind of problems current notations for OWL have and then discuss how an OWL ontology can be constructed alternatively in a controlled natural language (CNL). In particular, we will prese...

The database usability experience has shown that visual query languages tend to be superior to textual languages in many aspects. By applying this principle in the context of ontologies, we present OntoVQL, a graphical query language for OWL-DL ontologies. OntoVQL maps diagrammatic queries to DL based query languages such as nRQL, which is offered by the OWL-DL reasoner Racer. OntoVQL hides the...

The Web Ontology Language has not been designed for representing spatial information, which is often required for applications such as Spatial Databases and Geographical Information Systems. As a consequence, many existing OWL ontologies have little success in encoding spatial information. In this paper, we argue that the representation of spatial information is not a fundamental limitation of ...

On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually produce undecidable formalisms, unless constrained in a specific way. We look at one of the most expressive but decidable such formalisms proposed: DL-safe rules, and present a tableaux-based algorithm for query answering...

We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic DL〈4LQSR,×〉(D) (shortly DL D ). The reasoner checks the consistency of DL D -knowledge bases (KBs) represented in set-theoretic terms. It is implemented in C++ and supports DL D -KBs serialized in the OWL/XML format. To the best of our...

We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic DL〈4LQSR,×〉(D) (shortly DL D ). The reasoner checks the consistency of DL D -knowledge bases (KBs) represented in set-theoretic terms. It is implemented in C++ and supports DL D -KBs serialized in the OWL/XML format. To the best of our...

We developed the OBR-Scolio ontology that models scoliosis as pathological state of spine using the method of extracting from the FMA reference ontology in anatomical domain and the principal ontology framework of the OBR reference ontology, which is spread over anatomy, physiology and pathology domains. Following the FMA modeling framework, OBR-Scolio ontology initially is created in Protégé u...