Pay-as-you-go consequence-based reasoning for the description logic SROIQ

, &
Artificial Intelligence 298 (C):103518 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103518

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Consequence-based and fixed-parameter tractable reasoning in description logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209 (C):29-77.
A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.
Representing ontologies using description logics, description graphs, and rules.Boris Motik, Bernardo Cuenca Grau, Ian Horrocks & Ulrike Sattler - 2009 - Artificial Intelligence 173 (14):1275-1309.
Rough Consequence and other Modal Logics.Martin Bunder - 2015 - Australasian Journal of Logic 14 (3).
Rough Consequence and other Modal Logics.Martin Bunder - 2015 - Australasian Journal of Logic 12 (1).
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.
Specification of nonmonotonic reasoning.Joeri Engelfriet & Jan Treur - 2000 - Journal of Applied Non-Classical Logics 10 (1):7-26.
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics.Antonio Lieto & Gian Luca Pozzato - 2019 - Journal of Experimental and Theoretical Artificial Intelligence:1-39.
The nature of nonmonotonic reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
Dynamic Consequence and Public Announcement.Andrés Cordón Franco, Hans van Ditmarsch & Angel Nepomuceno - 2013 - Review of Symbolic Logic 6 (4):659-679.
Is Sylvan's Box a Threat to Classical Logic Norms?Theodore Locke - 2012 - Florida Philosophical Review 12 (1):32-52.
Towards automated reasoning on ORM schemes - mapping ORM into the DLRidf description logic.Mustafa Jarrar - manuscript
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Syntactic Properties of P-Consequence.Szymon Frankowski - 2011 - Logic and Logical Philosophy 20 (4):285-295.
The Inference of Chinese Logic.Qing-Tian Cui - 2003 - Philosophy and Culture 30 (12):51-68.

Analytics

Added to PP
2021-04-28

Downloads
10 (#1,160,791)

6 months
3 (#1,023,809)

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

Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.

Add more references