- 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
Combining Horn rules and description logics in CARIN
Artificial Intelligence 104 (1-2):165-209 (1998)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Combining answer set programming with description logics for the Semantic Web.Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer & Hans Tompits - 2008 - Artificial Intelligence 172 (12-13):1495-1539.
Representing ontologies using description logics, description graphs, and rules.Boris Motik, Bernardo Cuenca Grau, Ian Horrocks & Ulrike Sattler - 2009 - Artificial Intelligence 173 (14):1275-1309.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
On the relative expressiveness of description logics and predicate logics.Alex Borgida - 1996 - Artificial Intelligence 82 (1-2):353-367.
Expressive probabilistic description logics.Thomas Lukasiewicz - 2008 - Artificial Intelligence 172 (6-7):852-883.
An epistemic operator for description logics.F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt & A. Schaerf - 1998 - Artificial Intelligence 100 (1-2):225-274.
Rational closure for all description logics.P. A. Bonatti - 2019 - Artificial Intelligence 274 (C):197-223.
A new semantics for overriding in description logics.P. A. Bonatti, M. Faella, I. M. Petrova & L. Sauro - 2015 - Artificial Intelligence 222 (C):1-48.
Data complexity of query answering in description logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini & Riccardo Rosati - 2013 - Artificial Intelligence 195 (C):335-360.
Non-Standard Inferences in Description Logics, vol. 2100 of.R. Kusters - 1999 - In P. Brezillon & P. Bouquet, Lecture Notes in Artificial Intelligence. Springer.
Analytics
Added to PP
2020-12-22
Downloads
41 (#1,355,540)
6 months
9 (#1,245,574)
2020-12-22
Downloads
41 (#1,355,540)
6 months
9 (#1,245,574)
Historical graph of downloads
Citations of this work
Combining answer set programming with description logics for the Semantic Web.Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer & Hans Tompits - 2008 - Artificial Intelligence 172 (12-13):1495-1539.
Data complexity of query answering in description logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini & Riccardo Rosati - 2013 - Artificial Intelligence 195 (C):335-360.
Local closed world reasoning with description logics under the well-founded semantics.Matthias Knorr, José Júlio Alferes & Pascal Hitzler - 2011 - Artificial Intelligence 175 (9-10):1528-1554.
Reasoning with inconsistencies in hybrid MKNF knowledge bases.S. Huang, Q. Li & P. Hitzler - 2013 - Logic Journal of the IGPL 21 (2):263-290.
On the relation between SPARQL1.1 and Answer Set Programming.Axel Polleres & Johannes Peter Wallner - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):159-212.
References found in this work
Attributive concept descriptions with complements.Manfred Schmidt-Schauß & Gert Smolka - 1991 - Artificial Intelligence 48 (1):1-26.
Plan-based integration of natural language and graphics generation.Wolfgang Wahlster, Elisabeth André, Wolfgang Finkler, Hans-Jürgen Profitlich & Thomas Rist - 1993 - Artificial Intelligence 63 (1-2):387-427.
Cardinality restrictions on concepts.Franz Baader, Martin Buchheit & Bernhard Hollander - 1996 - Artificial Intelligence 88 (1-2):195-213.
A resolution principle for constrained logics.Hans-Jürgen Bürckert - 1994 - Artificial Intelligence 66 (2):235-271.
Verification of knowledge bases based on containment checking.Alon Y. Levy & Marie-Christine Rousset - 1998 - Artificial Intelligence 101 (1-2):227-250.
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-67567fb86f-lznff dc2