Consequence-based reasoning for SRIQ ontologies

Consequence-based reasoning for SRIQ ontologies

<p><em>Description logics</em> (DLs) are knowledge representation formalisms with numerous applications and well-understood model-theoretic semantics and computational properties. <em>SRIQ</em> is a DL that provides the logical underpinning for the semantic web language...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Bate, A
Rannpháirtithe:	Horrocks, I
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2016
Ábhair:	Knowledge Representation Logic Automated Reasoning Artificial Intelligence Computer Science

Míreanna comhchosúla

Ontology module extraction and applications to ontology classification
de réir: Armas Romero, A
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)

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

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

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

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

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

Extending consequence-based reasoning to SRIQ
de réir: Bate, A, et al.
Foilsithe / Cruthaithe: (2016)

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

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)

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)

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

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

Commonsense reasoning : an event calculus based approach /
de réir: Mueller, Erik T.
Foilsithe / Cruthaithe: (2015)

Case-based reasoning : a textbook /
de réir: 338353 Richter, Michael M.
Foilsithe / Cruthaithe: (c201)

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

Consequence-based reasoning for ontology classification
de réir: Simancik, F
Foilsithe / Cruthaithe: (2013)

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

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)

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

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
de réir: Simon Tobias Lund, et al.
Foilsithe / Cruthaithe: (2024-11-01)

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

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)

An AI-Based Heart Failure Treatment Adviser System
de réir: Zhuo Chen, et al.
Foilsithe / Cruthaithe: (2018-01-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)

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

Human reasoning and cognitive science /
de réir: 299992 Stenning, Keith, et al.
Foilsithe / Cruthaithe: (2008)

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

Commonsense Spatial Reasoning: an Informational Perspective
de réir: Stefania Bandini, et al.
Foilsithe / Cruthaithe: (2008-07-01)

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

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)

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

Survey on explainable knowledge graph reasoning methods
de réir: Yi XIA, Mingjng LAN, Xiaohui CHEN, Junyong LUO, Gang ZHOU, Peng HE
Foilsithe / Cruthaithe: (2022-10-01)

An Overview of Knowledge Graph Reasoning: Key Technologies and Applications
de réir: Yonghong Chen, et al.
Foilsithe / Cruthaithe: (2022-11-01)

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

Logic : the study of deductive reasoning /
de réir: 367588 Yildirim, Cemal
Foilsithe / Cruthaithe: (1973)

Case-Based Reasoning Research and Development [electronic resource] : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings /
de réir: International Conference on Case-Based Reasoning (7th : 2007 : Belfast, Northern Ireland), et al.
Foilsithe / Cruthaithe: (2007)