Description Logic Handbook

(ed.)
Cambridge University Press (2003)
  Copy   BIBTEX

Abstract

The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

0511069073   9780511069079

Links

PhilArchive



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

External links

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

Through your library

My notes

Chapters

An Introduction to Description Logics.Daniele Nardi & Ronald J. Brachman

Similar books and articles

An Introduction to Description Logics.Daniele Nardi & Ronald J. Brachman - 2003 - In Franz Baader (ed.), Description Logic Handbook. Cambridge University Press. pp. 1--44.
Book Reviews:Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge: Cambridge University Press, 2002, xxii + 554 pp., US$53.00, ISBN 0-52152-714-7 (paperback). [REVIEW]Manuel Bremer - 2005 - Minds and Machines 15 (1):126-129.
A 15th-Century Handbook on Aristotelian Logic: The Anonymous Logica “Quadrupliciter”.Gustavo Fernandez Walker - 2019 - Bulletin de Philosophie Medievale 61:183-205.
Runtime verification using the temporal description logic ALC-LTL revisited.Franz Baader & Marcel Lippmann - 2014 - Journal of Applied Logic 12 (4):584-613.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Handbook of Philosophical Logic.Dov M. Gabbay & Franz Guenthner (eds.) - 1983 - Dordrecht, Netherland: Kluwer Academic Publishers.
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.
Hegel's science of logic in an analytic mode.Clark Butler - 2004 - In David Carlson (ed.), Hegel's Theory of the Subject. Palgrave-Macmillan.
Description-names.Eros Corazza - 2002 - Journal of Philosophical Logic 31 (4):313-325.
A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.
The logic of description and existence.Sören Stenlund - 1973 - Uppsala: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
A handbook of logic.Joseph Gerard Brennan - 1957 - New York,: Harper.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
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.
Handbook of the History and Philosophy of Logic Vol. 10: Inductive Logic.Dov M. Gabbay, Stephan Hartmann & John Woods (eds.) - 2011 - Elsevier.

Analytics

Added to PP
2020-12-13

Downloads
2 (#1,787,337)

6 months
2 (#1,240,909)

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

Binding bound variables in epistemic contexts.Brian Rabern - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):533-563.
Certifiable AI.Jobst Landgrebe - 2022 - Applied Sciences 12 (3):1050.

View all 37 citations / Add more citations

References found in this work

No references found.

Add more references