The Ontology Knowledge Base Evaluation Tool (OntoKBEval) supports users in evaluating ontologies with the help of the OWL-DL reasoner RacerPro. OntoKBEval offers hierarchical diagrams describing the structure of OWL-DL ontologies divided into the description logics view of TBoxes and ABoxes. The three main methods for supporting ontology evaluation are: (i) quick-view (providing a keyword searc...

The Semantic Web ontology language OWL 2 DL comes with a variety of language features that enable sophisticated and practically useful modeling. However, the use of these features has been severely restricted in order to retain decidability of the language. For example, OWL 2 DL does not allow a property to be both transitive and asymmetric, which would be desirable, e.g., for representing an a...

Re-engineering of successful pre-OWL ontologies or other formal ER or UML system models towards OWL DL compliance opens new possibilities in ontology debugging, enabled by the formal semantics and automated reasoners developed for OWL DL, such as RacerPro and others. Meanwhile the transformation of pre-OWL ontologies to OWL DL is a challenging and interesting task, which we illustrate in this p...

We propose a description-logic style extension of OWL DL, which includes DL-safe variable SWRL and seamlessly integrates datalog rules. Our language also sports a tractable fragment, which we call ELP 2, covering OWL EL, OWL RL, most of OWL QL, and variable restricted datalog.

Ontologies have become increasingly relevant to the modelling community, providing a knowledgebase to support several software engineering activities. As such, several efforts have been made to integrate ontology technology with modelling technology. This has resulted in the Ontology Definition Metamodel (ODM), which allows model transformation languages to interact directly with ontologies. Th...

Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effectively handle the DL fragment of the Web Ontology Language (OWL). However, existing DL reasoners were implemented long before OWL came into existence and lack some features that are essential for Semantic Web applicat...

Steven Wartik Institute for Defense Analyses Alexandria, VA [email protected] One of the major unanswered questions about the semantic web is the degree to which real-world business rules can be expressed in OWL-DL. Ontologies that only contain class hierarchies are useful searching aides, but are unlikely to promote automated reasoning and classification. Only ontologies augmented with more comp...

Recent research in the area of ontology representation for the Semantic Web has led to several different language proposals. Among the others, it led to the standardization of OWL, on one hand, and to the emergence of the DL-Lite family of Description Logics, on the other hand. These two outcomes mainly differ on their objective: while OWL aims to be a standard, and as such, it is tailored towa...

DL-Lite is a family of Description Logics (DLs) whose aim is to capture some of the most popular conceptual modeling formalisms, such as Entity-Relationship model [4] and UML class diagrams1, while preserving the tractability of the most important reasoning tasks, such as ontology satisfiability and query answering of arbitrary (union of) conjunctive queries (ground and not ground). More specif...

A description logics representation of the Foundational Model of Anatomy (FMA) in the Web Ontology Language (OWL-DL) would allow developers to combine it with other OWL ontologies, and would provide the benefit of being able to access generic reasoning tools. However, the FMA is currently represented in a frame language. The differences between description logics and frames are not only syntact...