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...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Kaminski, M, Nenov, Y, Grau, BC
Format:	Conference item
Sprog:	English
Udgivet:	CEUR-WS.org 2014
Fag:	Artificial Intelligence Computer Science Knowledge Representation and Reasoning

Lignende værker

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
af: Kaminski, M, et al.
Udgivet: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
af: Kaminski, M, et al.
Udgivet: (2014)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
af: Cuenca Grau, B, et al.
Udgivet: (2016)

Incremental update of datalog materialisation : the backward/forward algorithm
af: Motik, B, et al.
Udgivet: (2015)

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
af: Motik, B, et al.
Udgivet: (2014)

Handling owl:sameAs via rewriting
af: Motik, B, et al.
Udgivet: (2015)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
af: Kaminski, M, et al.
Udgivet: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
af: Kaminski, M, et al.
Udgivet: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
af: Kaminski, M, et al.
Udgivet: (2014)

Ontology module extraction and applications to ontology classification
af: Armas Romero, A
Udgivet: (2015)

Computing Datalog Rewritings Beyond Horn Ontologies
af: Grau, B, et al.
Udgivet: (2013)

Consequence-based reasoning for SRIQ ontologies
af: Bate, A
Udgivet: (2016)

Rule-based stream reasoning
af: Ronca, A
Udgivet: (2019)

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner
af: Zhou, Y
Udgivet: (2015)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
af: Stefanoni, G, et al.
Udgivet: (2014)

Computing horn rewritings of description logics ontologies
af: Kaminski, M, et al.
Udgivet: (2015)

Evaluating conjunctive and graph queries over the EL profile of OWL 2
af: Stefanoni, G
Udgivet: (2015)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
af: Cristina Feier, et al.
Udgivet: (2019-05-01)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
af: Kaminski, M, et al.
Udgivet: (2013)

Datalog Rewritings of Regular Path Queries using Views
af: Nadime Francis, et al.
Udgivet: (2015-12-01)

Pay−as−you−go ontology query answering using a datalog reasoner
af: Zhou, Y, et al.
Udgivet: (2014)

Ontology module extraction via datalog reasoning
af: Romero, AA, et al.
Udgivet: (2015)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
af: Motik, B, et al.
Udgivet: (2015)

A survey on applications of ontology knowledge representation in robotics
af: Yueguang GE, et al.
Udgivet: (2022-06-01)

The impact of disjunction on reasoning under existential rules
af: Morak, M
Udgivet: (2014)

Spatial reasoning and planning : geometry, mechanism, and motion /
af: Liu, Jiming, 1962-, et al.
Udgivet: (2004)

Developing an ontology for representing the domain knowledge specific to non‐pharmacological treatment for agitation in dementia
af: Zhenyu Zhang, et al.
Udgivet: (2020-01-01)

Onto4ALLEditor: a Graphic Web Ontology Editor for Information Science
af: Fabrício Martins Mendonça, et al.
Udgivet: (2021-12-01)

Onto4ALLEditor: a Graphic Web Ontology Editor for Information Science
af: Fabrício Martins Mendonça, et al.
Udgivet: (2021-12-01)

Artificial Intelligence and Healthcare
af: Harish Rangareddy, et al.
Udgivet: (2022-11-01)

Datalog rewriting for Guarded TGDs
af: Benedikt, M, et al.
Udgivet: (2022)

Ontology-Based Knowledge Representation in Robotic Systems: A Survey Oriented toward Applications
af: Sumaira Manzoor, et al.
Udgivet: (2021-05-01)

Methodologies for intelligence systems, 3 /
af: International Sysposium on Methodologies for Intelligence Systems (3rd : 1988 : Turin, Italy), et al.
Udgivet: (1988)

PrimeNet: a framework for commonsense knowledge representation and reasoning based on conceptual primitives
af: Liu, Qian, et al.
Udgivet: (2024)

ViLO — A Core Ontology of Vietnamese Legal Documents
af: Minh Duc Nguyen, et al.
Udgivet: (2022-08-01)

Conclusions from the Commodity Expert Project
af: Stansfield, James L.
Udgivet: (2004)

Small Datalog Query Rewritings for EL
af: Stefanoni, G, et al.
Udgivet: (2012)

An Ontology-Based Approach to Reduce the Negative Impact of Code Smells in Software Development Projects
af: Ivian L. Castellano, et al.
Udgivet: (2023-01-01)

Ontologies for agents: theory and experiences/
af: Tamma, Valentina, et al.
Udgivet: (2005)

Module extraction in expressive ontology languages via datalog reasoning
af: Grau, B, et al.
Udgivet: (2016)