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
格式:	Thesis
語言:	English
出版:	2019
主題:	Knowledge Representation and Automated Reasoning

相似書籍

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
由: Tena Cucala, D, et al.
出版: (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, et al.
出版: (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, et al.
出版: (2014)

Knowledge representation and reasoning /
由: Brachman, Ronald J., 1949-, et al.
出版: (2004)

An AI-Based Heart Failure Treatment Adviser System
由: Zhuo Chen, et al.
出版: (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, et al.
出版: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
由: Bate, A, et al.
出版: (2018)

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
由: Elena Mastria, et al.
出版: (2023-07-01)

Rule-based stream reasoning
由: Ronca, A
出版: (2019)

An Overview of Knowledge Graph Reasoning: Key Technologies and Applications
由: Yonghong Chen, et al.
出版: (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, et al.
出版: (2017)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
由: Simon Tobias Lund, et al.
出版: (2024-11-01)

Principles of knowledge presentation and reasoning /
由: International Conference on Principles of Knowledge Representation and Reasoning (1st : 1989 : Toronto, Ont.), et al.
出版: (1989)

Description Logic Programs: Combining Logic Programs with Description Logic
由: Grosof, Benjamin, et al.
出版: (2004)

A review of data abstraction
由: Gianluca Cima, et al.
出版: (2023-06-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
由: Kaminski, M, et al.
出版: (2014)

Commonsense Spatial Reasoning: an Informational Perspective
由: Stefania Bandini, et al.
出版: (2008-07-01)

Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
由: Cucala, D, et al.
出版: (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, et al.
出版: (2024)

Few-Shot Induction of Generalized Logical Concepts via Human Guidance
由: Mayukh Das, et al.
出版: (2020-11-01)

Spatial reasoning and planning : geometry, mechanism, and motion /
由: Liu, Jiming, 1962-, et al.
出版: (2004)

Representation of Algebraic Reasoning in Sets through Argumentation
由: Tugba Uygun, et al.
出版: (2022-10-01)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
由: Gonzalo A. Aranda-Corral, et al.
出版: (2024-05-01)

Improving the learning of clinical reasoning through computer-based cognitive representation
由: Bian Wu, et al.
出版: (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, et al.
出版: (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, et al.
出版: (2004)

Teachers’ learning and assessing of mathematical processes with emphasis on representations, reasoning and proof
由: Satsope Maoto, et al.
出版: (2018-03-01)

Artificial Intelligence and Healthcare
由: Harish Rangareddy, et al.
出版: (2022-11-01)

Plausible Description Logic Programs for Stream Reasoning
由: Ioan Alfred Letia, et al.
出版: (2012-10-01)

Hierarchical Understanding in Robotic Manipulation: A Knowledge-Based Framework
由: Runqing Miao, et al.
出版: (2024-01-01)

Ontology-Based Context Event Representation, Reasoning, and Enhancing in Academic Environments
由: Josué Padilla-Cuevas, et al.
出版: (2021-06-01)