A new semantics for overriding in description logics

, , &
Artificial Intelligence 222 (C):1-48 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.12.010

Links

PhilArchive



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

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

Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Local closed world reasoning with description logics under the well-founded semantics.Matthias Knorr, José Júlio Alferes & Pascal Hitzler - 2011 - Artificial Intelligence 175 (9-10):1528-1554.
L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic colloquium '92, studies in logic language, and information'.Ian Hodkinson - 1997 - Journal of Logic, Language and Information 6 (4):453-457.
On the relative expressiveness of description logics and predicate logics.Alex Borgida - 1996 - Artificial Intelligence 82 (1-2):353-367.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
On some supposed contributions of artificial intelligence to the scientific study of language.B. Elan Dresher & Norbert Hornstein - 1976 - Cognition 4 (December):321-398.
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.
Equivalential logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (3):108-113.
Expressive probabilistic description logics.Thomas Lukasiewicz - 2008 - Artificial Intelligence 172 (6-7):852-883.
An epistemic operator for description logics.F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt & A. Schaerf - 1998 - Artificial Intelligence 100 (1-2):225-274.

Analytics

Added to PP
2020-12-22

Downloads
15 (#974,850)

6 months
11 (#272,549)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Book: Cognitive Design for Artificial Minds.Antonio Lieto - 2021 - London, UK: Routledge, Taylor & Francis Ltd.
Rational closure for all description logics.P. A. Bonatti - 2019 - Artificial Intelligence 274 (C):197-223.

View all 10 citations / Add more citations

References found in this work

View all 9 references / Add more references