Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2012/paper/research/47> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- 47 creator boris-motik.
- 47 creator despoina-magka.
- 47 creator ian-horrocks.
- 47 type InProceedings.
- 47 label "Modelling Structured Domains Using Description Graphs and Logic Programming".
- 47 sameAs 47.
- 47 abstract "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.".
- 47 hasAuthorList authorList.
- 47 isPartOf proceedings.
- 47 keyword "knowledge representation".
- 47 keyword "logic programs with function symbols".
- 47 keyword "non-monotonic reasoning".
- 47 title "Modelling Structured Domains Using Description Graphs and Logic Programming".