Combining Description Logics, Description Graphs, and Rules

  title={Combining Description Logics, Description Graphs, and Rules},
  author={Boris Motik},
  • B. Motik
  • Published in ICCS 16 September 2009
  • Computer Science
The Web Ontology Language (OWL) is a well-known language for ontology modeling in the Semantic Web [9]. The World Wide Web Consortium (W3C) is currently working on a revision of OWL-- called OWL 2 [2]--whose main goal is to address some of the limitations of OWL. The formal underpinnings of OWL and OWL 2 are provided by description logics (DLs)[1]-knowledge representation formalisms with well-understood formal properties. DLs are often used to describe structured objects--objects whose parts… 

AGUIA: autonomous graphical user interface assembly for clinical trials semantic data services

The design patterns identified for the GBox benefit from and reflect the specific requirements of interacting with data generated by clinical trials, and they contain clues for a general purpose solution to the challenge of having interfaces automatically assembled for multiple and volatile views of a domain.



A proposal for an owl rules language

The expressive power of ORL is discussed, showing that the ontology consistency problem is undecidable, and how reasoning support for ORL might be provided are discussed.

OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web

OWL Flight is presented, which is loosely based on OWL, but the semantics is grounded in Logic Programming rather than Description Logics, and it borrows the constraint-based modeling style common in databases.

Structured objects in owl: representation and reasoning

This work extends OWL with description graphs, which allow for the description of structured objects in a simple and precise way and presents a hypertableau-based decision procedure, which is implemented in the HermiT reasoner.

The Description Logic Handbook

This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all

An Overview of Tableau Algorithms for Description Logics

This article focuses on three features that play an important rôle in description logics (number restrictions, terminological axioms, and role constructors), and shows how they can be taken into account by tableau algorithms.

The Description Logic Handbook: Theory, Implementation, and Applications

This new edition of The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications.

DL+log: Tight Integration of Description Logics and Disjunctive Datalog

DL +log is defined, a general framework for the integration of Description Logics and disjunctive Datalog rules that allows for a tighter form of integration between DL-KBs and Datalogs rules which overcomes the main representational limits of the approaches based on the safety condition.

OWL 2: The next step for OWL