| 1 |
Language-based Lifting of Analyses to Software Product Lines
|
|
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Hearing aid use in the elderly as measured by datalogging and self-report
|
|
|
|
BASE
|
|
Show details
|
|
|
| 3 |
An Introduction to Ontology-Based Query Answering with Existential Rules
|
|
|
|
In: 10th Reasoning Web Summer School ; RW: Reasoning Web ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01089990 ; RW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩ ; http://rw2014.di.uoa.gr/ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Existential Rules: A Graph-Based View
|
|
|
|
In: Datalog 2.0 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763474 ; Pablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩ ; http://www.dbai.tuwien.ac.at/datalog2.0/ (2012)
|
|
Abstract:
International audience ; We consider rules that allow to assert the existence of new individuals, an ability called value invention in databases. These rules are of the form body --> head, where the body and the head are function-free conjunctions of atoms, and variables that occur only in the head are existentially quantified, hence their name existential rules. Existential rules have long been studied in databases as high-level constraints called tuple generating dependencies. Recently, there has been renewed interest for these rules in the context of ontology-based data access (OBDA), a new paradigm that seeks to exploit the semantics encoded in ontologies while querying data. The deductive database language Datalog could be seen as a natural candidate for expressing ontological knowledge in this context, however its limitation is that it does not allow for value invention, since all variables in a rule head necessarily occur in the rule body. Value invention has been recognized as a necessary prerequisite in an open-world perspective, where all individuals are not known a priori. It is in particular a feature of description logics (DLs), well-known languages dedicated to ontological representation and reasoning. This prerequisite motivated the recent extension of Datalog to existential rules, which gave rise to the Datalog +/- formalism. In this talk, we present a graph view of the existential rule framework and some related results.
|
|
Keyword:
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; Datalog+/-; Existential Rules; Ontology-based Data Access
|
|
URL: https://doi.org/10.1007/978-3-642-32925-8_3
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763474
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763474/file/Mugnier.pdf
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763474/document
|
|
BASE
|
|
Hide details
|
|
|
| 10 |
DOI:10.1007/978-3-642-23211-4 A Datalog recognizer for almost-affine λ-CFGs
|
|
|
|
In: http://hal.inria.fr/docs/00/74/07/01/PDF/parseAffine.pdf (2012)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Game semantics and parsing context-free lambda-grammars ; Jeux de typage et analyse de lambda-grammaires non-contextuelles
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00733964 ; Informatique et langage [cs.CL]. Université Sciences et Technologies - Bordeaux I, 2012. Français (2012)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
A Datalog recognizer for almost affine lambda-CFGs
|
|
|
|
In: Mathematics of Language ; https://hal.archives-ouvertes.fr/hal-00740701 ; Mathematics of Language, Sep 2011, Nara, Japan. pp.21-38, ⟨10.1007/978-3-642-23211-4⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Soutei, a Logic-Based Trust-Management System System Description
|
|
|
|
In: http://okmij.org/ftp/papers/Soutei.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
