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

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Tena Cucala, DJ
Tác giả khác:	Horrocks, I
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2019
Những chủ đề:	Knowledge Representation and Automated Reasoning

Những quyển sách tương tự

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
Bằng: Tena Cucala, D, et al.
Được phát hành: (2021)

Consequence-based reasoning for SRIQ ontologies
Bằng: Bate, A
Được phát hành: (2016)

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
Bằng: Christoph Benzmüller, et al.
Được phát hành: (2020-12-01)

A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics
Bằng: Rafael Peñaloza
Được phát hành: (2021-09-01)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Knowledge representation and reasoning /
Bằng: Brachman, Ronald J., 1949-, et al.
Được phát hành: (2004)

An AI-Based Heart Failure Treatment Adviser System
Bằng: Zhuo Chen, et al.
Được phát hành: (2018-01-01)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
Bằng: Kazakov, Y
Được phát hành: (2010)

Consequence-based reasoning for description logics with disjunctions and number restrictions
Bằng: Bate, A, et al.
Được phát hành: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
Bằng: Bate, A, et al.
Được phát hành: (2018)

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
Bằng: Elena Mastria, et al.
Được phát hành: (2023-07-01)

Rule-based stream reasoning
Bằng: Ronca, A
Được phát hành: (2019)

An Overview of Knowledge Graph Reasoning: Key Technologies and Applications
Bằng: Yonghong Chen, et al.
Được phát hành: (2022-11-01)

Ontology module extraction and applications to ontology classification
Bằng: Armas Romero, A
Được phát hành: (2015)

Legal linguistic templates and the tension between legal knowledge representation and reasoning
Bằng: Tomer Libal
Được phát hành: (2023-04-01)

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
Bằng: Cucala, D, et al.
Được phát hành: (2017)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
Bằng: Simon Tobias Lund, et al.
Được phát hành: (2024-11-01)

Principles of knowledge presentation and reasoning /
Bằng: International Conference on Principles of Knowledge Representation and Reasoning (1st : 1989 : Toronto, Ont.), et al.
Được phát hành: (1989)

Description Logic Programs: Combining Logic Programs with Description Logic
Bằng: Grosof, Benjamin, et al.
Được phát hành: (2004)

A review of data abstraction
Bằng: Gianluca Cima, et al.
Được phát hành: (2023-06-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Commonsense Spatial Reasoning: an Informational Perspective
Bằng: Stefania Bandini, et al.
Được phát hành: (2008-07-01)

Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
Bằng: Cucala, D, et al.
Được phát hành: (2018)

The impact of disjunction on reasoning under existential rules
Bằng: Morak, M
Được phát hành: (2014)

PrimeNet: a framework for commonsense knowledge representation and reasoning based on conceptual primitives
Bằng: Liu, Qian, et al.
Được phát hành: (2024)

Few-Shot Induction of Generalized Logical Concepts via Human Guidance
Bằng: Mayukh Das, et al.
Được phát hành: (2020-11-01)

Spatial reasoning and planning : geometry, mechanism, and motion /
Bằng: Liu, Jiming, 1962-, et al.
Được phát hành: (2004)

Representation of Algebraic Reasoning in Sets through Argumentation
Bằng: Tugba Uygun, et al.
Được phát hành: (2022-10-01)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
Bằng: Gonzalo A. Aranda-Corral, et al.
Được phát hành: (2024-05-01)

Improving the learning of clinical reasoning through computer-based cognitive representation
Bằng: Bian Wu, et al.
Được phát hành: (2014-12-01)

The description logic handbook : theory, implementation, and applications /
Bằng: Baader, Franz
Được phát hành: (2007)

Logic : the study of deductive reasoning /
Bằng: 367588 Yildirim, Cemal
Được phát hành: (1973)

An Evaluation Survey of Knowledge-Based Approaches in Telecommunication Applications
Bằng: Georgios P. Koudouridis, et al.
Được phát hành: (2024-01-01)

God and logic in Islam : the caliphate of reason /
Bằng: 567821 Walbridge, John author
Được phát hành: (2011)

The Programmer's Apprentice Project: A Research Overview
Bằng: Rich, Charles, et al.
Được phát hành: (2004)

Teachers’ learning and assessing of mathematical processes with emphasis on representations, reasoning and proof
Bằng: Satsope Maoto, et al.
Được phát hành: (2018-03-01)

Artificial Intelligence and Healthcare
Bằng: Harish Rangareddy, et al.
Được phát hành: (2022-11-01)

Plausible Description Logic Programs for Stream Reasoning
Bằng: Ioan Alfred Letia, et al.
Được phát hành: (2012-10-01)

Hierarchical Understanding in Robotic Manipulation: A Knowledge-Based Framework
Bằng: Runqing Miao, et al.
Được phát hành: (2024-01-01)

Ontology-Based Context Event Representation, Reasoning, and Enhancing in Academic Environments
Bằng: Josué Padilla-Cuevas, et al.
Được phát hành: (2021-06-01)