- 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
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence 174 (15):1093-1141 (2010)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Ontology expansion: appending with extracted sub-ontology.Andrew Flahive, David Taniar, Wenny Rahayu & Bernady Apduhan - 2011 - Logic Journal of the IGPL 19 (5):618-647.
Ontology-based information extraction for juridical events with case studies in Brazilian legal realm.Denis Andrei de Araujo, Sandro José Rigo & Jorge Luis Victória Barbosa - 2017 - Artificial Intelligence and Law 25 (4):379-396.
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
On the ontology of functions.Stefano Borgo, Riichiro Mizoguchi & Barry Smith - 2011 - Applied ontology 6 (2):99-104.
Temporalising tableaux.Roman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Studia Logica 76 (1):91 - 134.
An ontology of physical causation as a basis for assessing causation in fact and attributing legal responsibility.Jos Lehmann & Aldo Gangemi - 2007 - Artificial Intelligence and Law 15 (3):301-321.
Cognitive Penetration Lite and Nonconceptual Content.Athanassios Raftopoulos - 2017 - Erkenntnis 82 (5):1097-1122.
Toward using bio-ontologies in the Semantic Web: trade-offs between ontology languages.Mariano Rodr´Iguez - unknown
Games for query inseparability of description logic knowledge bases.Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2016 - Artificial Intelligence 234 (C):78-119.
The price of query rewriting in ontology-based data access.Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Thomas Schwentick & Michael Zakharyaschev - 2014 - Artificial Intelligence 213 (C):42-59.
Proceedings of the KI 2003 Workshop on Reference Ontologies and Application Ontologies.Pierre Grenon, Christopher Menzel & Barry Smith (eds.) - 2004 - CEUR Workshop Proceedings, Vol. 94.
Modularity of proof-nets.Roberto Maieli & Quintijn Puite - 2005 - Archive for Mathematical Logic 44 (2):167-193.
Analytics
Added to PP
2020-12-22
Downloads
10 (#1,168,820)
6 months
5 (#638,139)
2020-12-22
Downloads
10 (#1,168,820)
6 months
5 (#638,139)
Historical graph of downloads
Citations of this work
Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.
Games for query inseparability of description logic knowledge bases.Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2016 - Artificial Intelligence 234 (C):78-119.
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL.Nadeschda Nikitina & Sebastian Rudolph - 2014 - Artificial Intelligence 215:120-140.
Model-theoretic inseparability and modularity of description logic ontologies.Boris Konev, Carsten Lutz, Dirk Walther & Frank Wolter - 2013 - Artificial Intelligence 203 (C):66-103.
Knowledge base exchange: The case of OWL 2 QL.Marcelo Arenas, Elena Botoeva, Diego Calvanese & Vladislav Ryzhikov - 2016 - Artificial Intelligence 238 (C):11-62.
References found in this work
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
Semantic forgetting in answer set programming.Thomas Eiter & Kewen Wang - 2008 - Artificial Intelligence 172 (14):1644-1672.
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-7c76586df8-4c2ch uwo