Foundations of Databases, 1995. ,
The DL-Lite family and relations, Journal of Artificial Intelligence Research (JAIR), vol.36, pp.1-69, 2009. ,
First-order rewritability of temporal ontology-mediated queries, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, pp.2706-2712, 2015. ,
Pushing the EL envelope, Proceedings of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp.364-369, 2005. ,
, The Description Logic Handbook: Theory, Implementation, and Applications, 2003.
An Introduction to Description Logic, 2017. ,
Computing least common subsumers in description logics with existential restrictions, International Joint Conference on Artificial Intelligence (IJCAI), pp.96-103, 1999. ,
Tractable and Decidable Fragments of Conceptual Graphs, International Conference on Conceptual Structures, volume 1640 of LNAI, pp.480-493, 1999. ,
Answering conjunctive regular path queries over guarded existential rules, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp.793-799, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01632224
Translations between rdf(s) and conceptual graphs, International Conference on Conceptual Structures (ICCS'10), pp.28-41, 2010. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00537334
On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9, pp.1620-1654, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
Walking the complexity lines for generalized guarded existential rules, IJCAI'11, pp.712-717, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00618081
Ontop of geospatial databases, The Semantic Web -ISWC 2016 -15th International Semantic Web Conference, vol.9981, pp.37-52, 2016. ,
The semantic web, Scientific American, p.279, 2001. ,
Inconsistency-tolerant querying of description logic knowledge bases, Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering -12th International Summer School, pp.156-202, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01633000
Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity, Journal of the ACM. Forthcoming, 2018. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01892661
Ontology-mediated query answering with datatractable description logics, Lecture Notes of the 11th International Reasoning Web Summer School, vol.9203, pp.218-307, 2015. ,
Regular path queries in lightweight description logics: Complexity and algorithms, J. Artif. Intell. Res, vol.53, pp.315-374, 2015. ,
Query-based comparison of mappings in ontology-based data access, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, pp.197-206, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01367812
Handbook of Modal Logic, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00580143
On the relative expressiveness of description logics and predicate logics, Artificial intelligence, vol.82, pp.353-367, 1996. ,
Temporalizing rewritable query languages over knowledge bases, J. Web Sem, vol.33, pp.50-70, 2015. ,
Beyond OWL 2 QL in OBDA: rewritings and approximations, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, pp.921-928, 2016. ,
Ontology-based data access with a horn fragment of metric temporal logic, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, pp.1070-1076, 2017. ,
Taming the infinite chase: Query answering under expressive relational constraints, International Conference on Principles of Knowledge Representation and Reasoning(KR), pp.70-80, 2008. ,
A general datalog-based framework for tractable query answering over ontologies, International Conference on Principles of Database Systems (PODS), pp.77-86, 2009. ,
Advanced processing for ontological queries, PVLDB, vol.3, issue.1, pp.554-565, 2010. ,
Tractable reasoning and efficient query answering in description logics: The dllite family, Journal of Automated Reasoning (JAR), vol.39, issue.3, pp.385-429, 2007. ,
Graph-based Knowledge Representation and Reasoning-Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, 2009. ,
The entity-relationship model: Toward a unified view of data, ACM Transactions on Database Systems (TODS), vol.1, issue.1, pp.9-36, 1976. ,
Complexity and expressive power of logic programming, ACM Comput. Surv, vol.33, issue.3, pp.374-425, 2001. ,
The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic, Lecture Notes in Computer Science, vol.2892, 2003. ,
Data exchange: semantics and query answering, Theor. Comput. Sci, vol.336, issue.1, pp.89-124, 2005. ,
The combined approach to query answering beyond the OWL 2 profiles, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, pp.2971-2977, 2015. ,
The price of query rewriting in ontology-based data access, Artif. Intell, vol.213, pp.42-59, 2014. ,
Datalog and its extensions for semantic web databases, Reasoning Web, pp.54-77, 2012. ,
Rewriting ontological queries into small nonrecursive datalog programs, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012. ,
Modular reuse of ontologies: Theory and practice, J. Artif. Intell. Res, vol.31, pp.273-318, 2008. ,
Acyclicity notions for existential rules and their application to query answering in ontologies, J. Artif. Intell. Res. (JAIR), vol.47, pp.741-808, 2013. ,
A translation approach to portable ontology specifications, Knowl. Acquis, vol.5, issue.2, pp.199-220, 1993. ,
Formal ontology and information systems, Formal Ontology and Information Systems, pp.3-15, 1998. ,
The even more irresistible SROIQ, International Conference on Principles of Knowledge Representation and Reasoning (KR), pp.57-67, 2006. ,
Practical reasoning for expressive description logics, Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, pp.161-180, 1999. ,
Model-theoretic inseparability and modularity of description logic ontologies, Artif. Intell, vol.203, pp.66-103, 2013. ,
Logic-based ontology comparison and module extraction, with an application to dl-lite, Artif. Intell, vol.174, issue.15, pp.1093-1141, 2010. ,
Semantic Networks in Artificial Intelligence, 1992. ,
Inconsistency-tolerant query answering in ontology-based data access, J. Web Sem, vol.33, pp.3-29, 2015. ,
Combining horn rules and description logics in carin, Artificial Intelligence, vol.101, 1998. ,
From classical to consistent query answering under existential rules, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp.1546-1552, 2015. ,
The combined approach to OBDA: taming role hierarchies using filters, The Semantic Web -ISWC 2013 -12th International Semantic Web Conference, pp.314-330, 2013. ,
An introduction to ontology-based query answering with existential rules, Reasoning Web. Reasoning on the Web in the Big Data Era -10th International Summer School, pp.245-278, 2014. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01089990
Ontological query answering with existential rules, Rules and Reasoning the Web (RR'11), pp.2-23, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00618296
Terminological reasoning is inherently intractable, Artificial Intelligence, vol.43, issue.2, pp.235-249, 1990. ,
Reasoning and query answering in description logics, Lecture Notes of the 8th International Reasoning Web Summer School, pp.1-53, 2012. ,
Understanding the complexity of axiom pinpointing in lightweight description logics, Artif. Intell, vol.250, pp.80-104, 2017. ,
Linking data to ontologies, J. Data Semantics, vol.10, pp.133-173, 2008. ,
Querying Existential Rule Knowledge Bases: Decidability and Complexity, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01483770
A correspondence theory for terminological logics: Preliminary report, International Joint Conference on Artificial Intelligence (IJCAI), 1991. ,
Non-standard reasoning services for the debugging of description logic terminologies, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pp.355-362, 2003. ,
Axiom pinpointing in lightweight description logics via horn-sat encoding and conflict analysis, 22nd International Conference on Automated Deduction, vol.5663, pp.84-99, 2009. ,
Conceptual Graphs, IBM Journal of Research and Development, 1976. ,
Conceptual Structures: Information Processing in Mind and Machine, 1984. ,
The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases, J. Artif. Intell. Res, vol.51, pp.645-705, 2014. ,
Conjunctive Query Answering Under Existential Rules -Decidability, OWL web Ontology Language, p.3, 2004. ,
URL : https://hal.archives-ouvertes.fr/tel-00925722
, RDF vocabulary description language 1.0: RDF schema, p.3, 2004.
, OWL 2 web Ontology Language, p.3, 2012.
, OWL 2 Web Ontology Language Profiles, p.3, 2012.
,
5 2.2 Lightweight description logics: FL 0 and EL, vol.7, p.11 ,
,
1 The Kernel: Basic conceptual graphs ,
, Conceptual graph rules
,
, Relationships with description logics
,
,
,
,