Modelling Structured Domains Using Description Graphs and Logic Programming.
OWL 2 is widely used to describe complex objects such as chemical molecules; however, OWL 2 axioms cannot represent `structural' features of chemical entities such as having a ring. A combination of OWL 2, rules and <em>description graphs</em> (DGs) has been suggested as a possible...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
CEUR
2012
|
| _version_ | 1797105287018053632 |
|---|---|
| author | Magka, D Motik, B Horrocks, I |
| author_facet | Magka, D Motik, B Horrocks, I |
| author_sort | Magka, D |
| collection | OXFORD |
| description | OWL 2 is widely used to describe complex objects such as chemical molecules; however, OWL 2 axioms cannot represent `structural' features of chemical entities such as having a ring. A combination of OWL 2, rules and <em>description graphs</em> (DGs) has been suggested as a possible solution, but an attempt to apply this formalism in a chemical Semantic Web application has revealed several drawbacks. Based on this experience, we present a radically different approach to modelling complex objects via a novel formalism that we call Description Graph Logic Programs. At the syntactic level, our approach combines DGs, rules, and OWL 2 RL axioms, but we give semantics to our formalism via a translation into logic programs interpreted under stable model semantics. The result is an expressive formalism that is well suited for modelling objects with complex structure, that captures the OWL 2 RL profile, and that thus fits naturally into the Semantic Web landscape. Additionally, we test the practical feasibility of our approach by means of a prototypical implementation which provides encouraging results. |
| first_indexed | 2024-03-07T06:45:20Z |
| format | Conference item |
| id | oxford-uuid:faad51b2-3a15-4f21-88ba-09a84e0a89e5 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:45:20Z |
| publishDate | 2012 |
| publisher | CEUR |
| record_format | dspace |
| spelling | oxford-uuid:faad51b2-3a15-4f21-88ba-09a84e0a89e52022-03-27T13:07:47ZModelling Structured Domains Using Description Graphs and Logic Programming.Conference itemhttp://purl.org/coar/resource_type/c_5794uuid:faad51b2-3a15-4f21-88ba-09a84e0a89e5Department of Computer ScienceCEUR2012Magka, DMotik, BHorrocks, IOWL 2 is widely used to describe complex objects such as chemical molecules; however, OWL 2 axioms cannot represent `structural' features of chemical entities such as having a ring. A combination of OWL 2, rules and <em>description graphs</em> (DGs) has been suggested as a possible solution, but an attempt to apply this formalism in a chemical Semantic Web application has revealed several drawbacks. Based on this experience, we present a radically different approach to modelling complex objects via a novel formalism that we call Description Graph Logic Programs. At the syntactic level, our approach combines DGs, rules, and OWL 2 RL axioms, but we give semantics to our formalism via a translation into logic programs interpreted under stable model semantics. The result is an expressive formalism that is well suited for modelling objects with complex structure, that captures the OWL 2 RL profile, and that thus fits naturally into the Semantic Web landscape. Additionally, we test the practical feasibility of our approach by means of a prototypical implementation which provides encouraging results. |
| spellingShingle | Magka, D Motik, B Horrocks, I Modelling Structured Domains Using Description Graphs and Logic Programming. |
| title | Modelling Structured Domains Using Description Graphs and Logic Programming. |
| title_full | Modelling Structured Domains Using Description Graphs and Logic Programming. |
| title_fullStr | Modelling Structured Domains Using Description Graphs and Logic Programming. |
| title_full_unstemmed | Modelling Structured Domains Using Description Graphs and Logic Programming. |
| title_short | Modelling Structured Domains Using Description Graphs and Logic Programming. |
| title_sort | modelling structured domains using description graphs and logic programming |
| work_keys_str_mv | AT magkad modellingstructureddomainsusingdescriptiongraphsandlogicprogramming AT motikb modellingstructureddomainsusingdescriptiongraphsandlogicprogramming AT horrocksi modellingstructureddomainsusingdescriptiongraphsandlogicprogramming |