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

Bibliografski detalji
Glavni autor:	Tena Cucala, DJ
Daljnji autori:	Horrocks, I
Format:	Disertacija
Jezik:	English
Izdano:	2019
Teme:	Knowledge Representation and Automated Reasoning

Slični predmeti

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
od: Tena Cucala, D, i dr.
Izdano: (2021)

Consequence-based reasoning for SRIQ ontologies
od: Bate, A
Izdano: (2016)

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
od: Christoph Benzmüller, i dr.
Izdano: (2020-12-01)

A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics
od: Rafael Peñaloza
Izdano: (2021-09-01)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
od: Kaminski, M, i dr.
Izdano: (2014)

Knowledge representation and reasoning /
od: Brachman, Ronald J., 1949-, i dr.
Izdano: (2004)

An AI-Based Heart Failure Treatment Adviser System
od: Zhuo Chen, i dr.
Izdano: (2018-01-01)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
od: Kazakov, Y
Izdano: (2010)

Consequence-based reasoning for description logics with disjunctions and number restrictions
od: Bate, A, i dr.
Izdano: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
od: Bate, A, i dr.
Izdano: (2018)

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
od: Elena Mastria, i dr.
Izdano: (2023-07-01)

Rule-based stream reasoning
od: Ronca, A
Izdano: (2019)

An Overview of Knowledge Graph Reasoning: Key Technologies and Applications
od: Yonghong Chen, i dr.
Izdano: (2022-11-01)

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

Legal linguistic templates and the tension between legal knowledge representation and reasoning
od: Tomer Libal
Izdano: (2023-04-01)

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
od: Cucala, D, i dr.
Izdano: (2017)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
od: Simon Tobias Lund, i dr.
Izdano: (2024-11-01)

Principles of knowledge presentation and reasoning /
od: International Conference on Principles of Knowledge Representation and Reasoning (1st : 1989 : Toronto, Ont.), i dr.
Izdano: (1989)

Description Logic Programs: Combining Logic Programs with Description Logic
od: Grosof, Benjamin, i dr.
Izdano: (2004)

A review of data abstraction
od: Gianluca Cima, i dr.
Izdano: (2023-06-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Commonsense Spatial Reasoning: an Informational Perspective
od: Stefania Bandini, i dr.
Izdano: (2008-07-01)

Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
od: Cucala, D, i dr.
Izdano: (2018)

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

PrimeNet: a framework for commonsense knowledge representation and reasoning based on conceptual primitives
od: Liu, Qian, i dr.
Izdano: (2024)

Few-Shot Induction of Generalized Logical Concepts via Human Guidance
od: Mayukh Das, i dr.
Izdano: (2020-11-01)

Spatial reasoning and planning : geometry, mechanism, and motion /
od: Liu, Jiming, 1962-, i dr.
Izdano: (2004)

Representation of Algebraic Reasoning in Sets through Argumentation
od: Tugba Uygun, i dr.
Izdano: (2022-10-01)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
od: Gonzalo A. Aranda-Corral, i dr.
Izdano: (2024-05-01)

Improving the learning of clinical reasoning through computer-based cognitive representation
od: Bian Wu, i dr.
Izdano: (2014-12-01)

The description logic handbook : theory, implementation, and applications /
od: Baader, Franz
Izdano: (2007)

Logic : the study of deductive reasoning /
od: 367588 Yildirim, Cemal
Izdano: (1973)

An Evaluation Survey of Knowledge-Based Approaches in Telecommunication Applications
od: Georgios P. Koudouridis, i dr.
Izdano: (2024-01-01)

God and logic in Islam : the caliphate of reason /
od: 567821 Walbridge, John author
Izdano: (2011)

The Programmer's Apprentice Project: A Research Overview
od: Rich, Charles, i dr.
Izdano: (2004)

Teachers’ learning and assessing of mathematical processes with emphasis on representations, reasoning and proof
od: Satsope Maoto, i dr.
Izdano: (2018-03-01)

Artificial Intelligence and Healthcare
od: Harish Rangareddy, i dr.
Izdano: (2022-11-01)

Plausible Description Logic Programs for Stream Reasoning
od: Ioan Alfred Letia, i dr.
Izdano: (2012-10-01)

Hierarchical Understanding in Robotic Manipulation: A Knowledge-Based Framework
od: Runqing Miao, i dr.
Izdano: (2024-01-01)

Ontology-Based Context Event Representation, Reasoning, and Enhancing in Academic Environments
od: Josué Padilla-Cuevas, i dr.
Izdano: (2021-06-01)