Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to develop an integrated ontology/rule language, and 2) layering rul...
Gespeichert in:
| Hauptverfasser: | , , , , , , , , , |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Samuel, Ken Obrst, Leo Stoutenberg, Suzette Fox, Karen Franklin, Paul Johnson, Adrian Laskey, Ken Nichols, Deborah Lopez, Steve Peterson, Jason |
| description | To appear in Theory and Practice of Logic Programming (TPLP), 2008.
We are researching the interaction between the rule and the ontology layers
of the Semantic Web, by comparing two options: 1) using OWL and its rule
extension SWRL to develop an integrated ontology/rule language, and 2) layering
rules on top of an ontology with RuleML and OWL. Toward this end, we are
developing the SWORIER system, which enables efficient automated reasoning on
ontologies and rules, by translating all of them into Prolog and adding a set
of general rules that properly capture the semantics of OWL. We have also
enabled the user to make dynamic changes on the fly, at run time. This work
addresses several of the concerns expressed in previous work, such as negation,
complementary classes, disjunctive heads, and cardinality, and it discusses
alternative approaches for dealing with inconsistencies in the knowledge base.
In addition, for efficiency, we implemented techniques called
extensionalization, avoiding reanalysis, and code minimization. |
| doi_str_mv | 10.48550/arxiv.0711.3419 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_0711_3419</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>0711_3419</sourcerecordid><originalsourceid>FETCH-LOGICAL-a659-623a8cc1ea70d766200dc253545ed4187119c73443e4ff9e3afd79e884dfe16d3</originalsourceid><addsrcrecordid>eNotj8tOwzAURL1hgQp7Vsg_kGDHdh7sUHlKQUVtpG6Qoot9E1lK7MoOBf6ehLKazZnRHEKuOEtlqRS7gfBtjykrOE-F5NU5eW8CuDjAZF1PN_uagjN0hyO4yWq6xw-6_RwwUusmT9-CH3x_S1_9ccEb_wXB0HuMOtjDZL2jte_n2sz1AcZ4Qc46GCJe_ueKNI8Pzfo5qTdPL-u7OoFcVUmeCSi15ggFM0WeZ4wZnSmhpEIjeTmfrXQhpBQou65CAZ0pKixLaTrkuRErcn2a_bNrD8GOEH7axbJdLMUvZexM6A</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs</title><source>arXiv.org</source><creator>Samuel, Ken ; Obrst, Leo ; Stoutenberg, Suzette ; Fox, Karen ; Franklin, Paul ; Johnson, Adrian ; Laskey, Ken ; Nichols, Deborah ; Lopez, Steve ; Peterson, Jason</creator><creatorcontrib>Samuel, Ken ; Obrst, Leo ; Stoutenberg, Suzette ; Fox, Karen ; Franklin, Paul ; Johnson, Adrian ; Laskey, Ken ; Nichols, Deborah ; Lopez, Steve ; Peterson, Jason</creatorcontrib><description>To appear in Theory and Practice of Logic Programming (TPLP), 2008.
We are researching the interaction between the rule and the ontology layers
of the Semantic Web, by comparing two options: 1) using OWL and its rule
extension SWRL to develop an integrated ontology/rule language, and 2) layering
rules on top of an ontology with RuleML and OWL. Toward this end, we are
developing the SWORIER system, which enables efficient automated reasoning on
ontologies and rules, by translating all of them into Prolog and adding a set
of general rules that properly capture the semantics of OWL. We have also
enabled the user to make dynamic changes on the fly, at run time. This work
addresses several of the concerns expressed in previous work, such as negation,
complementary classes, disjunctive heads, and cardinality, and it discusses
alternative approaches for dealing with inconsistencies in the knowledge base.
In addition, for efficiency, we implemented techniques called
extensionalization, avoiding reanalysis, and code minimization.</description><identifier>DOI: 10.48550/arxiv.0711.3419</identifier><language>eng</language><subject>Computer Science - Artificial Intelligence</subject><creationdate>2007-11</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/0711.3419$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.0711.3419$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Samuel, Ken</creatorcontrib><creatorcontrib>Obrst, Leo</creatorcontrib><creatorcontrib>Stoutenberg, Suzette</creatorcontrib><creatorcontrib>Fox, Karen</creatorcontrib><creatorcontrib>Franklin, Paul</creatorcontrib><creatorcontrib>Johnson, Adrian</creatorcontrib><creatorcontrib>Laskey, Ken</creatorcontrib><creatorcontrib>Nichols, Deborah</creatorcontrib><creatorcontrib>Lopez, Steve</creatorcontrib><creatorcontrib>Peterson, Jason</creatorcontrib><title>Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs</title><description>To appear in Theory and Practice of Logic Programming (TPLP), 2008.
We are researching the interaction between the rule and the ontology layers
of the Semantic Web, by comparing two options: 1) using OWL and its rule
extension SWRL to develop an integrated ontology/rule language, and 2) layering
rules on top of an ontology with RuleML and OWL. Toward this end, we are
developing the SWORIER system, which enables efficient automated reasoning on
ontologies and rules, by translating all of them into Prolog and adding a set
of general rules that properly capture the semantics of OWL. We have also
enabled the user to make dynamic changes on the fly, at run time. This work
addresses several of the concerns expressed in previous work, such as negation,
complementary classes, disjunctive heads, and cardinality, and it discusses
alternative approaches for dealing with inconsistencies in the knowledge base.
In addition, for efficiency, we implemented techniques called
extensionalization, avoiding reanalysis, and code minimization.</description><subject>Computer Science - Artificial Intelligence</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotj8tOwzAURL1hgQp7Vsg_kGDHdh7sUHlKQUVtpG6Qoot9E1lK7MoOBf6ehLKazZnRHEKuOEtlqRS7gfBtjykrOE-F5NU5eW8CuDjAZF1PN_uagjN0hyO4yWq6xw-6_RwwUusmT9-CH3x_S1_9ccEb_wXB0HuMOtjDZL2jte_n2sz1AcZ4Qc46GCJe_ueKNI8Pzfo5qTdPL-u7OoFcVUmeCSi15ggFM0WeZ4wZnSmhpEIjeTmfrXQhpBQou65CAZ0pKixLaTrkuRErcn2a_bNrD8GOEH7axbJdLMUvZexM6A</recordid><startdate>20071121</startdate><enddate>20071121</enddate><creator>Samuel, Ken</creator><creator>Obrst, Leo</creator><creator>Stoutenberg, Suzette</creator><creator>Fox, Karen</creator><creator>Franklin, Paul</creator><creator>Johnson, Adrian</creator><creator>Laskey, Ken</creator><creator>Nichols, Deborah</creator><creator>Lopez, Steve</creator><creator>Peterson, Jason</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20071121</creationdate><title>Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs</title><author>Samuel, Ken ; Obrst, Leo ; Stoutenberg, Suzette ; Fox, Karen ; Franklin, Paul ; Johnson, Adrian ; Laskey, Ken ; Nichols, Deborah ; Lopez, Steve ; Peterson, Jason</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a659-623a8cc1ea70d766200dc253545ed4187119c73443e4ff9e3afd79e884dfe16d3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Computer Science - Artificial Intelligence</topic><toplevel>online_resources</toplevel><creatorcontrib>Samuel, Ken</creatorcontrib><creatorcontrib>Obrst, Leo</creatorcontrib><creatorcontrib>Stoutenberg, Suzette</creatorcontrib><creatorcontrib>Fox, Karen</creatorcontrib><creatorcontrib>Franklin, Paul</creatorcontrib><creatorcontrib>Johnson, Adrian</creatorcontrib><creatorcontrib>Laskey, Ken</creatorcontrib><creatorcontrib>Nichols, Deborah</creatorcontrib><creatorcontrib>Lopez, Steve</creatorcontrib><creatorcontrib>Peterson, Jason</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Samuel, Ken</au><au>Obrst, Leo</au><au>Stoutenberg, Suzette</au><au>Fox, Karen</au><au>Franklin, Paul</au><au>Johnson, Adrian</au><au>Laskey, Ken</au><au>Nichols, Deborah</au><au>Lopez, Steve</au><au>Peterson, Jason</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs</atitle><date>2007-11-21</date><risdate>2007</risdate><abstract>To appear in Theory and Practice of Logic Programming (TPLP), 2008.
We are researching the interaction between the rule and the ontology layers
of the Semantic Web, by comparing two options: 1) using OWL and its rule
extension SWRL to develop an integrated ontology/rule language, and 2) layering
rules on top of an ontology with RuleML and OWL. Toward this end, we are
developing the SWORIER system, which enables efficient automated reasoning on
ontologies and rules, by translating all of them into Prolog and adding a set
of general rules that properly capture the semantics of OWL. We have also
enabled the user to make dynamic changes on the fly, at run time. This work
addresses several of the concerns expressed in previous work, such as negation,
complementary classes, disjunctive heads, and cardinality, and it discusses
alternative approaches for dealing with inconsistencies in the knowledge base.
In addition, for efficiency, we implemented techniques called
extensionalization, avoiding reanalysis, and code minimization.</abstract><doi>10.48550/arxiv.0711.3419</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.0711.3419 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_0711_3419 |
| source | arXiv.org |
| subjects | Computer Science - Artificial Intelligence |
| title | Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-10T06%3A33%3A27IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Translating%20OWL%20and%20Semantic%20Web%20Rules%20into%20Prolog:%20Moving%20Toward%20Description%20Logic%20Programs&rft.au=Samuel,%20Ken&rft.date=2007-11-21&rft_id=info:doi/10.48550/arxiv.0711.3419&rft_dat=%3Carxiv_GOX%3E0711_3419%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |