Representing ontologies using description logics, description graphs, and rules

, , &
Artificial Intelligence 173 (14):1275-1309 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2009.06.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Normalizing medical ontologies using Basic Formal Ontology.Thomas Bittner & Barry Smith - 2004 - In K. Versorgung & V. Forschung (eds.), Ubiquitäre Information (Proceedings of GMDS 2004). Videel OHG. pp. 199-201.
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.
Consequence-based and fixed-parameter tractable reasoning in description logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209 (C):29-77.
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.
A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
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.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
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.
Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices.Minghui Ma - 2018 - Transactions of the Charles S. Peirce Society 54 (3):320.
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.
Description of Modal Logics Inheriting Admissible Rules for K4.Çigdem Gencer - 2002 - Logic Journal of the IGPL 10 (4):401-411.
An Introduction to Description Logics.Daniele Nardi & Ronald J. Brachman - 2003 - In Franz Baader (ed.), Description Logic Handbook. Cambridge University Press. pp. 1--44.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Scepticism and conditions for description.Peter Zinkernagel - 1968 - Inquiry: An Interdisciplinary Journal of Philosophy 11 (1-4):190 – 204.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,627,781)

6 months
3 (#983,674)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.

View all 7 references / Add more references