Making Cross Products and Guarded Ontology Languages Compatible

Bourhis, Pierre; Morak, Michael; Pieris, Andréas

Document type :

Communication dans un congrès avec actes

DOI :

10.24963/ijcai.2017/122

Title :

Making Cross Products and Guarded Ontology Languages Compatible

Author(s) :

Bourhis, Pierre [Auteur]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Linking Dynamic Data [LINKS]
Morak, Michael [Auteur]
Institute of Information Systems
Pieris, Andréas [Auteur]
School of Informatics [Edimbourg]

Conference title :

IJCAI 2017 - Twenty-Sixth International Joint Conference on Artificial Intelligence

City :

Melbourne

Country :

Australie

Start date of the conference :

2017-08-19

HAL domain(s) :

Informatique [cs]/Base de données [cs.DB]

English abstract : [en]

Cross products form a useful modelling 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 ...
Show more >Cross products form a useful modelling 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 exis-tential rules. The question that comes up is whether cross products are compatible with guarded ontol-ogy 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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Files

https://hal.inria.fr/hal-01638346/document
Open access
Access the document

https://hal.inria.fr/hal-01638346/document
Open access
Access the document

https://hal.inria.fr/hal-01638346/document
Open access
Access the document

document
Open access
Access the document

0122.pdf
Open access
Access the document

Making Cross Products and Guarded Ontology ... BibTeX CSV Excel RIS

Files

Making Cross Products and Guarded Ontology ...

BibTeX

CSV

Excel

RIS