Journal•
Description Logics
About: Description Logics is an academic journal. The journal publishes majorly in the area(s): Description logic & Ontology (information science). Over the lifetime, 999 publications have been published receiving 11115 citations.
Topics: Description logic, Ontology (information science), Computer science, Conjunctive query, Abox
Papers published on a yearly basis
Papers
More filters
Journal Article•
TL;DR: Although DLP is an experimental system, it nonetheless provides a fast satissability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.
Abstract: DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as K (m) and KT (m). Although DLP is an experimental system, it nonetheless provides a fast satissability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.
583 citations
TL;DR: OilEd is an ontology editor that has an easy to use frame interface, yet at the same time allows users to exploit the full power of an expressive web ontology language (OIL).
Abstract: Ontologies will play a pivotal role in the "Semantic Web", where they will provide a source of precisely defined terms that can be communicated across people and applications. OilEd, is an ontology editor that has an easy to use frame interface, yet at the same time allows users to exploit the full power of an expressive web ontology language (OIL). OilEd uses reasoning to support ontology design, facilitating the development of ontologies that are both more detailed and more accurate.
446 citations
Journal Article•
TL;DR: RACER implements a TBox and ABox reasoner for the logic SHIQ, the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms.
Abstract: RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms.
347 citations
Journal Article•
266 citations
Journal Article•
TL;DR: In this paper, the authors present a novel reasoning procedure for Horn SHIQ ontologies that can be translated to the Horn fragment of first-order logic, which is closely related to the so-called completion-based procedure for EL++ ontologies and can be regarded as an extension thereof.
Abstract: We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reasoning procedures for ontologies, our procedure does not build models or model representations, but works by deriving new consequent axioms. The procedure is closely related to the so-called completion-based procedure for EL++ ontologies, and can be regarded as an extension thereof. In fact, our procedure is theoretically optimal for Horn SHIQ ontologies as well as for the common fragment of EL++ and SHIQ.
A preliminary empirical evaluation of our procedure on large medical ontologies demonstrates a dramatic improvement over existing ontology reasoners. Specifically, our implementation allows the classification of the largest available OWL version of Galen. To the best of our knowledge no other reasoner is able to classify this ontology.
196 citations