Tractable Query Answering for Expressive Ontologies and Rules*
Volltext
ÄHNLICHE DOKUMENTE
Answering conjunctive queries (CQs) over knowledge bases (KBs) containing dis- junctive existential rules is a relevant reasoning task which can be addressed using the disjunctive
Remark 2. Every rule in an SRI ontology has at most 3 variables. Every function symbol in the skolemisation of a SRI ontology has arity one.. Reasoning over Existential Rules
The disjunctive skolem chase is a sound and complete (albeit non-terminating) algorithm that can be used to solve conjunctive query answering over DL ontologies and programs
As usual in combined approaches (e.g., see [Stefanoni et al., 2013]), query processing times depend on the num- ber of candidate answers; thus, the applicability of the com-
Note that Definition 1 explains why (Horn-SHOIQ) ontologies captured by any of the normative profiles contain only safe roles: in the case of EL, roles can be existentially
2012 Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, A Generic Querying Algorithm for Greedy Sets of Existential Rules, KR’12. Marie-Laure
Ein wirkungsvolles Entgelttrans- parenzgesetz muss aber auch für kleinere Betriebe mit weniger als 200 Beschäftigten gelten, insbesondere weil dort viele Frauen arbeiten und
3.4 Temporal Arguments as Extra Arguments So far, our approach has argued for a direct encoding of the temporal extent through two further arguments, turning a binary relation, such