Extending SROIQ with Constraint Networks and Grounded Circumscription
Developments in semantic web technologies have promoted ontological encoding of knowledge from diverse domains. However, modelling many practical domains requires more expressiveness than what the standard description logics (most prominently SROIQ) support. In this paper, we extend the expressive D...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| 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 | Bhardwaj, Arjun |
| description | Developments in semantic web technologies have promoted ontological encoding
of knowledge from diverse domains. However, modelling many practical domains
requires more expressiveness than what the standard description logics (most
prominently SROIQ) support. In this paper, we extend the expressive DL SROIQ
with constraint networks (resulting in the logic SROIQc) and grounded
circumscription (resulting in the logic GC-SROIQ). Applications of constraint
modelling include embedding ontologies with temporal or spatial information,
while those of grounded circumscription include defeasible inference and closed
world reasoning.
We describe the syntax and semantics of the logic formed by including
constraint modelling constructs in SROIQ, and provide a sound, complete and
terminating tableau algorithm for it. We further provide an intuitive algorithm
for Grounded Circumscription in SROIQc, which adheres to the general framework
of grounded circumscription, and which can be applied to a whole range of
expressive logics for which no such specific algorithm presently exists. |
| doi_str_mv | 10.48550/arxiv.1508.00116 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_1508_00116</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1508_00116</sourcerecordid><originalsourceid>FETCH-LOGICAL-a676-bb660b0008167c557aa230497d00bfd532d6c0690e03f43ba800cc3e4a28c0f33</originalsourceid><addsrcrecordid>eNotz71uwjAUQGEvHRDtAzDhF0i4jmPHjFUUKBICtWWPrn9CrRYHOabQt0dAp7Md6SNkwiAvlRAww3jxvzkToHIAxuSINM0luWB92NPPj-3qnZ59-qJ1H4YU0YdENy6d-_g9UAyWLmN_CtZZWvtoTofBRH9Mvg_P5KnDn8G9_HdMdotmV79l6-1yVb-uM5SVzLSWEjQAKCYrI0SFWHAo55UF0J0VvLDSgJyDA96VXKMCMIa7EgtloON8TKaP7d3RHqM_YPxrb5727uFXgt5FKQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Extending SROIQ with Constraint Networks and Grounded Circumscription</title><source>arXiv.org</source><creator>Bhardwaj, Arjun</creator><creatorcontrib>Bhardwaj, Arjun</creatorcontrib><description>Developments in semantic web technologies have promoted ontological encoding
of knowledge from diverse domains. However, modelling many practical domains
requires more expressiveness than what the standard description logics (most
prominently SROIQ) support. In this paper, we extend the expressive DL SROIQ
with constraint networks (resulting in the logic SROIQc) and grounded
circumscription (resulting in the logic GC-SROIQ). Applications of constraint
modelling include embedding ontologies with temporal or spatial information,
while those of grounded circumscription include defeasible inference and closed
world reasoning.
We describe the syntax and semantics of the logic formed by including
constraint modelling constructs in SROIQ, and provide a sound, complete and
terminating tableau algorithm for it. We further provide an intuitive algorithm
for Grounded Circumscription in SROIQc, which adheres to the general framework
of grounded circumscription, and which can be applied to a whole range of
expressive logics for which no such specific algorithm presently exists.</description><identifier>DOI: 10.48550/arxiv.1508.00116</identifier><language>eng</language><subject>Computer Science - Artificial Intelligence ; Computer Science - Logic in Computer Science</subject><creationdate>2015-08</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><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,780,885</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/1508.00116$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.1508.00116$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Bhardwaj, Arjun</creatorcontrib><title>Extending SROIQ with Constraint Networks and Grounded Circumscription</title><description>Developments in semantic web technologies have promoted ontological encoding
of knowledge from diverse domains. However, modelling many practical domains
requires more expressiveness than what the standard description logics (most
prominently SROIQ) support. In this paper, we extend the expressive DL SROIQ
with constraint networks (resulting in the logic SROIQc) and grounded
circumscription (resulting in the logic GC-SROIQ). Applications of constraint
modelling include embedding ontologies with temporal or spatial information,
while those of grounded circumscription include defeasible inference and closed
world reasoning.
We describe the syntax and semantics of the logic formed by including
constraint modelling constructs in SROIQ, and provide a sound, complete and
terminating tableau algorithm for it. We further provide an intuitive algorithm
for Grounded Circumscription in SROIQc, which adheres to the general framework
of grounded circumscription, and which can be applied to a whole range of
expressive logics for which no such specific algorithm presently exists.</description><subject>Computer Science - Artificial Intelligence</subject><subject>Computer Science - Logic in Computer Science</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2015</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotz71uwjAUQGEvHRDtAzDhF0i4jmPHjFUUKBICtWWPrn9CrRYHOabQt0dAp7Md6SNkwiAvlRAww3jxvzkToHIAxuSINM0luWB92NPPj-3qnZ59-qJ1H4YU0YdENy6d-_g9UAyWLmN_CtZZWvtoTofBRH9Mvg_P5KnDn8G9_HdMdotmV79l6-1yVb-uM5SVzLSWEjQAKCYrI0SFWHAo55UF0J0VvLDSgJyDA96VXKMCMIa7EgtloON8TKaP7d3RHqM_YPxrb5727uFXgt5FKQ</recordid><startdate>20150801</startdate><enddate>20150801</enddate><creator>Bhardwaj, Arjun</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20150801</creationdate><title>Extending SROIQ with Constraint Networks and Grounded Circumscription</title><author>Bhardwaj, Arjun</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a676-bb660b0008167c557aa230497d00bfd532d6c0690e03f43ba800cc3e4a28c0f33</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2015</creationdate><topic>Computer Science - Artificial Intelligence</topic><topic>Computer Science - Logic in Computer Science</topic><toplevel>online_resources</toplevel><creatorcontrib>Bhardwaj, Arjun</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Bhardwaj, Arjun</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Extending SROIQ with Constraint Networks and Grounded Circumscription</atitle><date>2015-08-01</date><risdate>2015</risdate><abstract>Developments in semantic web technologies have promoted ontological encoding
of knowledge from diverse domains. However, modelling many practical domains
requires more expressiveness than what the standard description logics (most
prominently SROIQ) support. In this paper, we extend the expressive DL SROIQ
with constraint networks (resulting in the logic SROIQc) and grounded
circumscription (resulting in the logic GC-SROIQ). Applications of constraint
modelling include embedding ontologies with temporal or spatial information,
while those of grounded circumscription include defeasible inference and closed
world reasoning.
We describe the syntax and semantics of the logic formed by including
constraint modelling constructs in SROIQ, and provide a sound, complete and
terminating tableau algorithm for it. We further provide an intuitive algorithm
for Grounded Circumscription in SROIQc, which adheres to the general framework
of grounded circumscription, and which can be applied to a whole range of
expressive logics for which no such specific algorithm presently exists.</abstract><doi>10.48550/arxiv.1508.00116</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.1508.00116 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_1508_00116 |
| source | arXiv.org |
| subjects | Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science |
| title | Extending SROIQ with Constraint Networks and Grounded Circumscription |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T18%3A08%3A29IST&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=Extending%20SROIQ%20with%20Constraint%20Networks%20and%20Grounded%20Circumscription&rft.au=Bhardwaj,%20Arjun&rft.date=2015-08-01&rft_id=info:doi/10.48550/arxiv.1508.00116&rft_dat=%3Carxiv_GOX%3E1508_00116%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 |