Edinburgh Research Explorer

Making Cross Products and Guarded Ontology Languages Compatible

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

https://www.ijcai.org/proceedings/2017/122
Original languageEnglish
Title of host publicationProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17)
PublisherIJCAI Inc
Pages880-886
Number of pages7
ISBN (Electronic)978-0-9992411-0-3
DOIs
Publication statusPublished - 25 Aug 2017
Event26th International Joint Conference on Artificial Intelligence - Melbourne, Australia
Duration: 19 Aug 201725 Aug 2017
https://ijcai-17.org/index.html
https://ijcai-17.org/
https://ijcai-17.org/

Conference

Conference26th International Joint Conference on Artificial Intelligence
Abbreviated titleIJCAI 2017
CountryAustralia
CityMelbourne
Period19/08/1725/08/17
Internet address

Abstract

Cross products forma usefulmodelling tool that allows us to express natural statements such as “elephants are bigger than mice”, or, more generally,
to define relations that connect every instance in a relation with every instance in another relation. Despite their usefulness, cross products cannot be expressed
using existing guarded ontology languages, such as description logics (DLs) and guarded existential rules. The question that comes up is whether cross products are compatible with guarded ontology languages, and, if not, whether there is a way of making them compatible. This has been already studied for DLs, while for guarded existential rules remains unanswered. Our goal is to give an answer to the above question. To this end, we focus on the guarded fragment of first-order logic (which serves as a unifying framework that subsumes many of the aforementioned ontology languages) extended with cross products, and we investigate the standard tasks of satisfiability and query answering. Interestingly,
we isolate relevant fragments that are compatible with cross products.

Event

26th International Joint Conference on Artificial Intelligence

19/08/1725/08/17

Melbourne, Australia

Event: Conference

Download statistics

No data available

ID: 37069984