Querying Attributed DL-Lite Ontologies Using Provenance Semirings
| Autor: | Ana Ozaki, Camille Bourgaux |
|---|---|
| Přispěvatelé: | Data, Intelligence and Graphs (DIG), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom [Paris] (IMT)-Télécom Paris-Institut Mines-Télécom [Paris] (IMT)-Télécom Paris, Value from Data (VALDA ), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), KRDB Research Centre (KRDB), Free University of Bozen-Bolzano, Partially supported by ANR-16-CE23-0007-01 ('DICOS'), ANR-16-CE23-0007,DICOS,Découverte de schémas complexes dans les bases de connaissances(2016), Bourgaux, Camille, Découverte de schémas complexes dans les bases de connaissances - - DICOS2016 - ANR-16-CE23-0007 - AAPG2016 - VALID, Département d'informatique - ENS Paris (DI-ENS), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Inria de Paris, École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL) |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]
Provenance Information retrieval [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB] Computer science 02 engineering and technology General Medicine Ontology (information science) Semantics Satisfiability [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] Formalism (philosophy of mathematics) Description logic 0202 electrical engineering electronic engineering information engineering [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB] 020201 artificial intelligence & image processing Finite set |
| Zdroj: | Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), Jan 2019, Honolulu, United States AAAI |
| Popis: | International audience; Attributed description logic is a recently proposed formalism, targeted for graph-based representation formats, which enriches description logic concepts and roles with finite sets of attribute-value pairs, called annotations. One of the most important uses of annotations is to record provenance information. In this work, we first investigate the complexity of satisfiability and query answering for attributed DL-LiteR ontologies. We then propose a new semantics, based on prove-nance semirings, for integrating provenance information with query answering. Finally, we establish complexity results for satisfiability and query answering under this semantics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|