An Introduction to Description Logics

&
In Franz Baader (ed.), Description Logic Handbook. Cambridge University Press. pp. 1--44 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
A Formal Semantics for Concept Understanding Relying on Description Logics.Farshad Badie - 2017 - In Proceedings of the 9th International Conference on Agents and Artificial Intelligence. pp. 42-52.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Ontology and medical terminology: Why description logics are not enough.Werner Ceusters, Barry Smith & Jim Flanagan - 2003 - In Proceedings of the Conference: Towards an Electronic Patient Record (TEPR 2003). Boston, MA: Medical Records Institute.
A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
Adding clauses to poor man's logic (without increasing the complexity).Peter Jonsson - 2005 - Journal of Applied Non-Classical Logics 15 (3):341-357.
A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.
Deciding Unifiability and Computing Local Unifiers in the Description Logic $mathcal{E!L}$ without Top Constructor.Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt & Barbara Morawska - 2016 - Notre Dame Journal of Formal Logic 57 (4):443-476.
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.
On being called by one's name.Bruno Gnassounou - 2001 - Logica Trianguli 5:43-61.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
Towards Contingent World Descriptions in Description Logics.Farshad Badie - 2020 - Logic and Logical Philosophy 29 (1):115-141.

Analytics

Added to PP
2020-12-13

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

The Benefits of Realism: A Realist Logic with Applications.Barry Smith - 2008 - In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction. Ontos. pp. 109-124.
On Categorial Membership.Michael Freund - 2014 - Erkenntnis 79 (5):1045-1068.

Add more citations

References found in this work

No references found.

Add more references