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

Полное описание

Библиографические подробности
Главный автор:	Tena Cucala, DJ
Другие авторы:	Horrocks, I
Формат:	Диссертация
Язык:	English
Опубликовано:	2019
Предметы:	Knowledge Representation and Automated Reasoning

Схожие документы

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
по: Tena Cucala, D, и др.
Опубликовано: (2021)

Consequence-based reasoning for SRIQ ontologies
по: Bate, A
Опубликовано: (2016)

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
по: Christoph Benzmüller, и др.
Опубликовано: (2020-12-01)

A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics
по: Rafael Peñaloza
Опубликовано: (2021-09-01)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
по: Kaminski, M, и др.
Опубликовано: (2014)

Knowledge representation and reasoning /
по: Brachman, Ronald J., 1949-, и др.
Опубликовано: (2004)

An AI-Based Heart Failure Treatment Adviser System
по: Zhuo Chen, и др.
Опубликовано: (2018-01-01)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
по: Kazakov, Y
Опубликовано: (2010)

Consequence-based reasoning for description logics with disjunctions and number restrictions
по: Bate, A, и др.
Опубликовано: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
по: Bate, A, и др.
Опубликовано: (2018)

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
по: Elena Mastria, и др.
Опубликовано: (2023-07-01)

Rule-based stream reasoning
по: Ronca, A
Опубликовано: (2019)

An Overview of Knowledge Graph Reasoning: Key Technologies and Applications
по: Yonghong Chen, и др.
Опубликовано: (2022-11-01)

Ontology module extraction and applications to ontology classification
по: Armas Romero, A
Опубликовано: (2015)

Legal linguistic templates and the tension between legal knowledge representation and reasoning
по: Tomer Libal
Опубликовано: (2023-04-01)

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
по: Cucala, D, и др.
Опубликовано: (2017)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
по: Simon Tobias Lund, и др.
Опубликовано: (2024-11-01)

Principles of knowledge presentation and reasoning /
по: International Conference on Principles of Knowledge Representation and Reasoning (1st : 1989 : Toronto, Ont.), и др.
Опубликовано: (1989)

Description Logic Programs: Combining Logic Programs with Description Logic
по: Grosof, Benjamin, и др.
Опубликовано: (2004)

A review of data abstraction
по: Gianluca Cima, и др.
Опубликовано: (2023-06-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Commonsense Spatial Reasoning: an Informational Perspective
по: Stefania Bandini, и др.
Опубликовано: (2008-07-01)

Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
по: Cucala, D, и др.
Опубликовано: (2018)

The impact of disjunction on reasoning under existential rules
по: Morak, M
Опубликовано: (2014)

PrimeNet: a framework for commonsense knowledge representation and reasoning based on conceptual primitives
по: Liu, Qian, и др.
Опубликовано: (2024)

Few-Shot Induction of Generalized Logical Concepts via Human Guidance
по: Mayukh Das, и др.
Опубликовано: (2020-11-01)

Spatial reasoning and planning : geometry, mechanism, and motion /
по: Liu, Jiming, 1962-, и др.
Опубликовано: (2004)

Representation of Algebraic Reasoning in Sets through Argumentation
по: Tugba Uygun, и др.
Опубликовано: (2022-10-01)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
по: Gonzalo A. Aranda-Corral, и др.
Опубликовано: (2024-05-01)

Improving the learning of clinical reasoning through computer-based cognitive representation
по: Bian Wu, и др.
Опубликовано: (2014-12-01)

The description logic handbook : theory, implementation, and applications /
по: Baader, Franz
Опубликовано: (2007)

Logic : the study of deductive reasoning /
по: 367588 Yildirim, Cemal
Опубликовано: (1973)

An Evaluation Survey of Knowledge-Based Approaches in Telecommunication Applications
по: Georgios P. Koudouridis, и др.
Опубликовано: (2024-01-01)

God and logic in Islam : the caliphate of reason /
по: 567821 Walbridge, John author
Опубликовано: (2011)

The Programmer's Apprentice Project: A Research Overview
по: Rich, Charles, и др.
Опубликовано: (2004)

Teachers’ learning and assessing of mathematical processes with emphasis on representations, reasoning and proof
по: Satsope Maoto, и др.
Опубликовано: (2018-03-01)

Artificial Intelligence and Healthcare
по: Harish Rangareddy, и др.
Опубликовано: (2022-11-01)

Plausible Description Logic Programs for Stream Reasoning
по: Ioan Alfred Letia, и др.
Опубликовано: (2012-10-01)

Hierarchical Understanding in Robotic Manipulation: A Knowledge-Based Framework
по: Runqing Miao, и др.
Опубликовано: (2024-01-01)

Ontology-Based Context Event Representation, Reasoning, and Enhancing in Academic Environments
по: Josué Padilla-Cuevas, и др.
Опубликовано: (2021-06-01)