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)