Datalog rewriting techniques for non-Horn ontologies

Datalog rewriting techniques for non-Horn ontologies

<p>We study the closely related problems of rewriting disjunctive datalog programs and non-Horn DL ontologies into plain datalog programs that entail the same facts for every dataset. We first propose the class of markable disjunctive datalog programs, which is efficiently recognisable and adm...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Kaminski, M, Nenov, Y, Grau, BC
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	CEUR-WS.org 2014
Ábhair:	Artificial Intelligence Computer Science Knowledge Representation and Reasoning

Míreanna comhchosúla

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Incremental update of datalog materialisation : the backward/forward algorithm
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2014)

Handling owl:sameAs via rewriting
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Ontology module extraction and applications to ontology classification
de réir: Armas Romero, A
Foilsithe / Cruthaithe: (2015)

Computing Datalog Rewritings Beyond Horn Ontologies
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2013)

Consequence-based reasoning for SRIQ ontologies
de réir: Bate, A
Foilsithe / Cruthaithe: (2016)

Rule-based stream reasoning
de réir: Ronca, A
Foilsithe / Cruthaithe: (2019)

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner
de réir: Zhou, Y
Foilsithe / Cruthaithe: (2015)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
de réir: Stefanoni, G, et al.
Foilsithe / Cruthaithe: (2014)

Computing horn rewritings of description logics ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2015)

Evaluating conjunctive and graph queries over the EL profile of OWL 2
de réir: Stefanoni, G
Foilsithe / Cruthaithe: (2015)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
de réir: Cristina Feier, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2013)

Datalog Rewritings of Regular Path Queries using Views
de réir: Nadime Francis, et al.
Foilsithe / Cruthaithe: (2015-12-01)

Pay−as−you−go ontology query answering using a datalog reasoner
de réir: Zhou, Y, et al.
Foilsithe / Cruthaithe: (2014)

Ontology module extraction via datalog reasoning
de réir: Romero, AA, et al.
Foilsithe / Cruthaithe: (2015)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

A survey on applications of ontology knowledge representation in robotics
de réir: Yueguang GE, et al.
Foilsithe / Cruthaithe: (2022-06-01)

The impact of disjunction on reasoning under existential rules
de réir: Morak, M
Foilsithe / Cruthaithe: (2014)

Spatial reasoning and planning : geometry, mechanism, and motion /
de réir: Liu, Jiming, 1962-, et al.
Foilsithe / Cruthaithe: (2004)

Developing an ontology for representing the domain knowledge specific to non‐pharmacological treatment for agitation in dementia
de réir: Zhenyu Zhang, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Onto4ALLEditor: a Graphic Web Ontology Editor for Information Science
de réir: Fabrício Martins Mendonça, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Onto4ALLEditor: a Graphic Web Ontology Editor for Information Science
de réir: Fabrício Martins Mendonça, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Artificial Intelligence and Healthcare
de réir: Harish Rangareddy, et al.
Foilsithe / Cruthaithe: (2022-11-01)

Datalog rewriting for Guarded TGDs
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2022)

Ontology-Based Knowledge Representation in Robotic Systems: A Survey Oriented toward Applications
de réir: Sumaira Manzoor, et al.
Foilsithe / Cruthaithe: (2021-05-01)

Methodologies for intelligence systems, 3 /
de réir: International Sysposium on Methodologies for Intelligence Systems (3rd : 1988 : Turin, Italy), et al.
Foilsithe / Cruthaithe: (1988)

PrimeNet: a framework for commonsense knowledge representation and reasoning based on conceptual primitives
de réir: Liu, Qian, et al.
Foilsithe / Cruthaithe: (2024)

ViLO — A Core Ontology of Vietnamese Legal Documents
de réir: Minh Duc Nguyen, et al.
Foilsithe / Cruthaithe: (2022-08-01)

Conclusions from the Commodity Expert Project
de réir: Stansfield, James L.
Foilsithe / Cruthaithe: (2004)

Small Datalog Query Rewritings for EL
de réir: Stefanoni, G, et al.
Foilsithe / Cruthaithe: (2012)

An Ontology-Based Approach to Reduce the Negative Impact of Code Smells in Software Development Projects
de réir: Ivian L. Castellano, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Ontologies for agents: theory and experiences/
de réir: Tamma, Valentina, et al.
Foilsithe / Cruthaithe: (2005)

Module extraction in expressive ontology languages via datalog reasoning
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2016)