Consequence-based reasoning for the Description Logic SROIQ

Consequence-based reasoning for the Description Logic SROIQ

<p>Consequence-based (CB) reasoners combine ideas from resolution and (hyper)tableau calculi to solve the problem of ontology classification in Description Logics (DLs). Existing CB reasoners, however, are only capable of handling DLs without nominals (such as SRIQ), or DLs without disjunction...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Tena Cucala, DJ
Rannpháirtithe:	Horrocks, I
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2019
Ábhair:	Knowledge Representation and Automated Reasoning

Míreanna comhchosúla

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2021)

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

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
de réir: Christoph Benzmüller, et al.
Foilsithe / Cruthaithe: (2020-12-01)

A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics
de réir: Rafael Peñaloza
Foilsithe / Cruthaithe: (2021-09-01)

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

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

An AI-Based Heart Failure Treatment Adviser System
de réir: Zhuo Chen, et al.
Foilsithe / Cruthaithe: (2018-01-01)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
de réir: Kazakov, Y
Foilsithe / Cruthaithe: (2010)

Consequence-based reasoning for description logics with disjunctions and number restrictions
de réir: Bate, A, et al.
Foilsithe / Cruthaithe: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
de réir: Bate, A, et al.
Foilsithe / Cruthaithe: (2018)

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

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

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

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

Legal linguistic templates and the tension between legal knowledge representation and reasoning
de réir: Tomer Libal
Foilsithe / Cruthaithe: (2023-04-01)

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
de réir: Cucala, D, et al.
Foilsithe / Cruthaithe: (2017)

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)

Principles of knowledge presentation and reasoning /
de réir: International Conference on Principles of Knowledge Representation and Reasoning (1st : 1989 : Toronto, Ont.), et al.
Foilsithe / Cruthaithe: (1989)

Description Logic Programs: Combining Logic Programs with Description Logic
de réir: Grosof, Benjamin, et al.
Foilsithe / Cruthaithe: (2004)

A review of data abstraction
de réir: Gianluca Cima, et al.
Foilsithe / Cruthaithe: (2023-06-01)

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

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

Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
de réir: Cucala, D, et al.
Foilsithe / Cruthaithe: (2018)

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

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

Few-Shot Induction of Generalized Logical Concepts via Human Guidance
de réir: Mayukh Das, et al.
Foilsithe / Cruthaithe: (2020-11-01)

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

Representation of Algebraic Reasoning in Sets through Argumentation
de réir: Tugba Uygun, et al.
Foilsithe / Cruthaithe: (2022-10-01)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
de réir: Gonzalo A. Aranda-Corral, et al.
Foilsithe / Cruthaithe: (2024-05-01)

Improving the learning of clinical reasoning through computer-based cognitive representation
de réir: Bian Wu, et al.
Foilsithe / Cruthaithe: (2014-12-01)

The description logic handbook : theory, implementation, and applications /
de réir: Baader, Franz
Foilsithe / Cruthaithe: (2007)

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

An Evaluation Survey of Knowledge-Based Approaches in Telecommunication Applications
de réir: Georgios P. Koudouridis, et al.
Foilsithe / Cruthaithe: (2024-01-01)

God and logic in Islam : the caliphate of reason /
de réir: 567821 Walbridge, John author
Foilsithe / Cruthaithe: (2011)

The Programmer's Apprentice Project: A Research Overview
de réir: Rich, Charles, et al.
Foilsithe / Cruthaithe: (2004)

Teachers’ learning and assessing of mathematical processes with emphasis on representations, reasoning and proof
de réir: Satsope Maoto, et al.
Foilsithe / Cruthaithe: (2018-03-01)

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

Plausible Description Logic Programs for Stream Reasoning
de réir: Ioan Alfred Letia, et al.
Foilsithe / Cruthaithe: (2012-10-01)

Hierarchical Understanding in Robotic Manipulation: A Knowledge-Based Framework
de réir: Runqing Miao, et al.
Foilsithe / Cruthaithe: (2024-01-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)