Algebraic tableau reasoning for the description logic SHOQ

&
Journal of Applied Logic 8 (4):334-355 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2010.08.009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC C.S. P. Odintsov & H. Wansing - 2008 - Journal of Applied Logic 6 (3):343-360.
The Tableau Method for a Logical System Based on a Finite Poset.Abir Nour - 2002 - Journal of Applied Non-Classical Logics 12 (1):43-62.
A Modal Supervaluation Description Logic For Characterization Of Vague Concepts: Its Semantics And A Tableau Algorithm For It.Lei Liu & Lin Chen - 2006 - Logic Journal of the IGPL 14 (6):873-888.
Algebraic description of limit models in classes of abelian groups.Marcos Mazari-Armida - 2020 - Annals of Pure and Applied Logic 171 (1):102723.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
An analytic tableau calculus for a temporalised belief logic.Ji Ma, Mehmet A. Orgun & Kamel Adi - 2011 - Journal of Applied Logic 9 (4):289-304.
A tableau decision algorithm for modalized ALC with constant domains.Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev - 2002 - Studia Logica 72 (2):199-232.
Ecumenical Propositional Tableau.Renato Leme, Marcelo Coniglio, Bruno Lopes & Giorgio Venturi - forthcoming - Studia Logica:1-28.
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies.Ivan Varzinczak - 2018 - Logica Universalis 12 (3-4):297-325.

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,013,551)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

EXPtime tableaux for ALC.Francesco M. Donini & Fabio Massacci - 2000 - Artificial Intelligence 124 (1):87-138.
Cardinality restrictions on concepts.Franz Baader, Martin Buchheit & Bernhard Hollander - 1996 - Artificial Intelligence 88 (1-2):195-213.

Add more references