- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
An Introduction to Description Logic
Cambridge, England: Cambridge University Press (2017)
Abstract
The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Preferential Semantics for Plausible Subsumption in Possibility Theory.Guilin Qi & Zhizheng Zhang - 2013 - Minds and Machines 23 (1):47-75.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
A Universal Approach to Guarantee Data Privacy.Thomas Studer - 2013 - Logica Universalis 7 (2):195-209.
Development of a knowledge base as a tool for contextualized learning.F. Henri, P. Gagné, M. Maina, Y. Gargouri, J. Bourdeau & G. Paquette - 2006 - AI and Society 20 (3):271-287.
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base.Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni & Gabriele Lenzini - 2020 - Journal of Logic, Language and Information 29 (4):401-449.
Practical reasoning for very expressive description.Horrocks Ian, Sattler Ulrike & S. Tobies - 2000 - Logic Journal of the IGPL 8 (3):239-263.
Applying Statistical Methods in Knowledge Management of a Multiagent System.Ondřej Kohut & Michal Košinár - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):201-216.
Reasoning with base rates is routine, relatively effortless, and context dependent.Gordon Pennycook & Valerie A. Thompson - 2012 - Psychonomic Bulletin and Review 19 (3):528-534.
An Introduction to Description Logics.Daniele Nardi & Ronald J. Brachman - 2003 - In Franz Baader, Description Logic Handbook. Cambridge University Press. pp. 1--44.
Analytics
Added to PP
2021-11-17
Downloads
51 (#1,160,611)
6 months
9 (#1,243,279)
2021-11-17
Downloads
51 (#1,160,611)
6 months
9 (#1,243,279)
Historical graph of downloads
Citations of this work
Kripke Completeness of Strictly Positive Modal Logics Over Meet-Semilattices with Operators.Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter & Michael Zakharyaschev - 2019 - Journal of Symbolic Logic 84 (2):533-588.
A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology.Tim Prudhomme, Giacomo De Colle, Austin Liebers, Alec Sculley, Peihong Xie, Sydney Cohen & John Beverley - 2025 - Scientific Data 12 (282).
Coordinating virus research: The Virus Infectious Disease Ontology.John Beverley, Shane Babcock, Gustavo Carvalho, Lindsay G. Cowell, Sebastian Duesing, Yongqun He, Regina Hurley, Eric Merrell, Richard H. Scheuermann & Barry Smith - 2024 - PLoS ONE 1.
Computational Approaches to Concepts Representation: A Whirlwind Tour.Mattia Fumagalli, Riccardo Baratella, Marcello Frixione & Daniele Porello - 2025 - Acta Analytica 40 (3):489-520.
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation