Modelling Structured Domains Using Description Graphs and Logic Programming

Presented at: 9th Extended Semantic Web Conference (ESWC2012)

by Despoina Magka, Boris Motik, Ian Horrocks

OWL 2 is widely used to describe complex objects such as chemical molecules, but cannot represent `structural' features of chemical entities such as having a ring. Adding rules, and description graphs (DGs) has been suggested as a possible solution, but still exhibits several drawbacks. We present a radically different approach that we call Description Graph Logic Programs. Syntactically, our approach combines DGs, rules, and OWL 2 RL axioms, but the semantics is via a translation into logic programs interpreted under stable model semantics. The result is an expressive OWL 2 RL-compatible formalism that is well suited for modelling objects with complex structure.

Keywords: knowledge representation, logic programs with function symbols, non-monotonic reasoning

Resource URI on the dog food server:

Explore this resource elsewhere: