Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Rocher, Swan"'
Autor:
Rocher, Swan
Dans cette thèse, nous nous intéressons au problème d'interrogation de bases de connaissances composées de données et d'une ontologie, qui représente des connaissances générales sur le domaine d'application. Parmi les différents formalismes
Externí odkaz:
http://www.theses.fr/2016MONTT291/document
Autor:
Baget, Jean Francois, Benferhat, Salem, Bouraoui, Zied, Croitoru, Madalina, Mugnier, Marie-Laure, Papini, Odile, Rocher, Swan, Tabia, Karim
We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority principles. It
Externí odkaz:
http://arxiv.org/abs/1602.05828
We consider existential rules (aka Datalog+) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive query (CQ) entailment is decidable. However, most of these classes can
Externí odkaz:
http://arxiv.org/abs/1504.07443
Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termina
Externí odkaz:
http://arxiv.org/abs/1407.6885
Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the terminatio
Externí odkaz:
http://arxiv.org/abs/1405.1071
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Baget, Jean-François, Bouraoui, Zied, Nouioua, Farid, Papini, Odile, Rocher, Swan, Würbel, Eric
Publikováno v:
SUM: Scalable Uncertainty Management
SUM: Scalable Uncertainty Management, Andrea G. B. Tettamanzi, Oct 2016, Nice, France. pp.230-245, ⟨10.1007/978-3-319-45856-4_16⟩
SUM: Scalable Uncertainty Management, Andrea G. B. Tettamanzi, Oct 2016, Nice, France. pp.230-245, ⟨10.1007/978-3-319-45856-4_16⟩
International audience; Repair-based techniques are a standard way of dealing with inconsistency in the context of ontology-based data access where several inconsistency-tolerant semantics have been mainly proposed for lightweight description logics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5df90be3ff21c61831185c561ad99c6c
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375099
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375099
Autor:
Baget, Jean-François, Benferhat, Salem, Bouraoui, Zied, Croitoru, Madalina, Mugnier, Marie-Laure, Papini, Odile, Rocher, Swan, Tabia, Karim
Publikováno v:
15th International Conference on Principles of Knowledge Representation and Reasoning
KR: Principles of Knowledge Representation and Reasoning
KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
KR: Principles of Knowledge Representation and Reasoning
KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
International audience; We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f3565757c212bc07284e98d0115e9be
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328690
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328690
Autor:
Baget, Jean-François, Gutierrez, Alain, Leclère, Michel, Mugnier, Marie-Laure, Rocher, Swan, Sipieter, Clément
Publikováno v:
9th International Web Rule Symposium
RuleML: Web Rule Symposium
RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany
RuleML: Web Rule Symposium
RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany
International audience; This paper is devoted to formats and translations for Datalog+. We first introduce the dlgp format, which extends classical Datalog format to Datalog+. It allows to encode facts, existential rules (including equality), negativ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55d32eec5fc9c2bc88759694102a1132
https://hal.science/hal-01172069
https://hal.science/hal-01172069
Publikováno v:
21st European Conference on Artificial Intelligence
ECAI: European Conference on Artificial Intelligence
ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩
ECAI: European Conference on Artificial Intelligence
ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩
International audience; Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering. Entailment with existential rules is undecidable. We focus in this paper on conditions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::60735b9481a7498f36e9e7db6798c2af
https://hal-auf.archives-ouvertes.fr/hal-01092757/file/1407.6885.pdf
https://hal-auf.archives-ouvertes.fr/hal-01092757/file/1407.6885.pdf