- 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
Knowledge base exchange: The case of OWL 2 QL
Artificial Intelligence 238 (C):11-62 (2016)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A legal case OWL ontology with an instantiation of Popov v. Hayashi.Adam Wyner & Rinke Hoekstra - 2012 - Artificial Intelligence and Law 20 (1):83-107.
The size of a revised knowledge base.Marco Cadoli, Francesco M. Donini, Paolo Liberatore & Marco Schaerf - 1999 - Artificial Intelligence 115 (1):25-64.
Temporal logic: Mathematical foundations and computational aspects, volume 2, Dov M. Gabbay, mark A. Reynolds, and Marcelo finger. [REVIEW]Ullrich Hustadt - 2001 - Journal of Logic, Language and Information 10 (3):406-410.
What does a conditional knowledge base entail?D. Lehmann & M. Magidor - 1994 - Artificial Intelligence 68 (2):411.
Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
A concept drift-tolerant case-base editing technique.Ning Lu, Jie Lu, Guangquan Zhang & Ramon Lopez de Mantaras - 2016 - Artificial Intelligence 230 (C):108-133.
What does a conditional knowledge base entail?Daniel Lehmann & Menachem Magidor - 1992 - Artificial Intelligence 55 (1):1-60.
Knowledge-level analysis of belief base operations.Sven Ove Hansson - 1996 - Artificial Intelligence 82 (1-2):215-235.
Automatic knowledge base refinement for classification systems.Allen Ginsberg, Sholom M. Weiss & Peter Politakis - 1988 - Artificial Intelligence 35 (2):197-226.
Pre-training and diagnosing knowledge base completion models.Vid Kocijan, Myeongjun Jang & Thomas Lukasiewicz - 2024 - Artificial Intelligence 329 (C):104081.
Analytics
Added to PP
2020-12-22
Downloads
7 (#603,698)
6 months
4 (#1,635,958)
2020-12-22
Downloads
7 (#603,698)
6 months
4 (#1,635,958)
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.
References found in this work
On rules with existential variables: Walking the decidability line.Jean-François Baget, Michel Leclère, Marie-Laure Mugnier & Eric Salvat - 2011 - Artificial Intelligence 175 (9-10):1620-1654.
Logic-based ontology comparison and module extraction, with an application to DL-Lite.Roman Kontchakov, Frank Wolter & Michael Zakharyaschev - 2010 - Artificial Intelligence 174 (15):1093-1141.
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL.Nadeschda Nikitina & Sebastian Rudolph - 2014 - Artificial Intelligence 215:120-140.
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.
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-6686886f5-5pqs9 uwo