The impact of disjunction on reasoning under existential rules

The impact of disjunction on reasoning under existential rules

<p>Ontological database management systems are a powerful tool that combine traditional database techniques with ontological reasoning methods. In this setting, a classical extensional database is enriched with an ontology, or a set of logical assertions, that describe how new, intensional kno...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Morak, M
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2014
Ábhair:	Artificial Intelligence Databases Logic Ontological Reasoning Knowledge Representation

Míreanna comhchosúla

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

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

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

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

Handling owl:sameAs via rewriting
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)

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

Abductive reasoning : logical investigations into discovery and explanation /
de réir: 375870 Aliseda, Atocha
Foilsithe / Cruthaithe: (2006)

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

A Hybrid Approach to Representing Shared Conceptualization in Decentralized AI Systems: Integrating Epistemology, Ontology, and Epistemic Logic
de réir: Fateh Mohamed Ali Adhnouss, et al.
Foilsithe / Cruthaithe: (2023-08-01)

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

A Graph DB-Based Solution for Semantic Technologies in the Future Internet
de réir: Stefano Ferilli, et al.
Foilsithe / Cruthaithe: (2023-10-01)

A Proposition Of Knowledge Management Methodology For The Purpose Of Reasoning With The Use Of An Upper-Ontology
de réir: Kamil Szymański, et al.
Foilsithe / Cruthaithe: (2007-01-01)

Commonsense reasoning : an event calculus based approach /
de réir: Mueller, Erik T.
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)

Symbolic Deductive Reasoning using Connectionist Models
de réir: Mihai Horia Zaharia, et al.
Foilsithe / Cruthaithe: (2004-06-01)

A Rule-Based Reasoner for Underwater Robots Using OWL and SWRL
de réir: Zhaoyu Zhai, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Datalog rewriting techniques for non-Horn ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

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)

Strengths and limitations of formal ontologies in the biomedical domain - DOI: 10.3395/reciis.v3i1.241en
de réir: Stefan Schulz, et al.
Foilsithe / Cruthaithe: (2009-04-01)

Consequence-based reasoning for the Description Logic SROIQ
de réir: Tena Cucala, DJ
Foilsithe / Cruthaithe: (2019)

Ontology-Based Context Event Representation, Reasoning, and Enhancing in Academic Environments
de réir: Josué Padilla-Cuevas, et al.
Foilsithe / Cruthaithe: (2021-06-01)

Knowledge Representation Using Type-2 Fuzzy Rough Ontologies in Ontology Web Language
de réir: D. Nilavu, et al.
Foilsithe / Cruthaithe: (2015-03-01)

An Ontology-Based Expert System for Rice Disease Identification and Control Recommendation
de réir: Watanee Jearanaiwongkul, et al.
Foilsithe / Cruthaithe: (2021-11-01)

Knowledge representation and reasoning /
de réir: Brachman, Ronald J., 1949-, et al.
Foilsithe / Cruthaithe: (2004)

Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
de réir: Sergio Alejandro Gómez
Foilsithe / Cruthaithe: (2017-10-01)

Application of logic 4-valued in the process of reasoning in diagnostic systems
de réir: Stanisław Duer, et al.
Foilsithe / Cruthaithe: (2016-07-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)

Methodologies for intelligent systems, 4 /
de réir: International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.), et al.
Foilsithe / Cruthaithe: (c198)

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

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

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
de réir: Elena Mastria, et al.
Foilsithe / Cruthaithe: (2023-07-01)

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

Solving the frame problem : a mathematical investigation of the common sense law of inertia /
de réir: 398629 Shanahan, Murray
Foilsithe / Cruthaithe: (1997)

Logical Rule-Based Knowledge Graph Reasoning: A Comprehensive Survey
de réir: Zefan Zeng, et al.
Foilsithe / Cruthaithe: (2023-10-01)

Qualitative reasoning about physical systems /
de réir: Babrow, Daniel G.
Foilsithe / Cruthaithe: (1984)

Artificial reason and artificial intelligence: The legal reasoning capabilities of GPT-4
de réir: Spaić Bojan, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Enhancing In-Context Learning of Large Language Models for Knowledge Graph Reasoning via Rule-and-Reinforce Selected Triples
de réir: Shaofei Wang
Foilsithe / Cruthaithe: (2025-01-01)

Survey on explainable knowledge graph reasoning methods
de réir: Yi XIA, et al.
Foilsithe / Cruthaithe: (2022-10-01)