An Introduction to Description Logic

, , &
Cambridge, England: Cambridge University Press (2017)
  Copy   BIBTEX

Abstract

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

Categories

Add categories

Keywords

ISBN(s)

9780521873611   0521873614   0521695422   9780521695428
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 78,059

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

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.
Logic and Data Bases.Hervé Gallaire & Jack Minker - 1978 - Springer.
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 (ed.), Description Logic Handbook. Cambridge University Press. pp. 1--44.
The logic of pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.
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.
Runtime verification using the temporal description logic ALC-LTL revisited.Franz Baader & Marcel Lippmann - 2014 - Journal of Applied Logic 12 (4):584-613.
Acquaintance, Knowledge, and Logic: New Essays on Bertrand Russell's The Problems of Philosophy.Donovan Wishon & Bernard Linsky - 2015 - Stanford: CSLI Publications.
Description Logic Handbook.Franz Baader (ed.) - 2003 - Cambridge University Press.

Analytics

Added to PP
2021-11-17

Downloads
4 (#1,250,795)

6 months
3 (#249,333)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Towards Even More Irresistible Axiom Weakening.Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard - 2020 - In Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event, Rhodes, Greece.

Add more citations

References found in this work

No references found.

Add more references

Home | New books and articles | Bibliographies | Philosophy journals | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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

Server: philpapers-web-7cdd687c8d-79zxv N