Combining Description Logics, Description Graphs, and Rules

@inproceedings{Motik2009CombiningDL,
  title={Combining Description Logics, Description Graphs, and Rules},
  author={Boris Motik},
  booktitle={ICCS},
  year={2009}
}
  • 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

TLDR
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.

References

SHOWING 1-10 OF 33 REFERENCES

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

TLDR
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

TLDR
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.

Reasoning in description logics using resolution and deductive databases

TLDR
A novel algorithm that reduces a SHIQ(D) knowledge base KB to a disjunctive datalog program DD(KB) such that KB and DD( KB) entail the same set of ground facts, and shows a performance increase in query answering over existing DL systems of one or more orders of magnitude.

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

TLDR
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

TLDR
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

TLDR
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