S. Heymans, D. Vermeir  Home/Search
Context Related
| tinf2.vub.ac.be/~dverme...asp2003.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tinf2.vub.ac.be/~dvermeir...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, features that are present in most DLs. The extended language, conceptual logic programming (CLP) proves to be a viable alternative for intuitively representing and reasoning nonmonotonically, in a decidable way, with possibly infinite knowledge. Not only can conceptual logic programs (CLPs) simulate finite answer set... (Update)
Cited by: More
Reasoning Methods for Personalization on the Semantic Web - Antoniou, Baldoni.. (2004) (Correct)
Active bibliography (related documents): More All
1.5: Integrating Semantic Web Reasoning and Answer Set Programming - Heymans, Vermeir (2003) (Correct)
1.2: Integrating Description Logics and Answer Set Programming - Heymans, Vermeir (2003) (Correct)
0.6: Integrating Ontology Languages and Answer Set Programming - Heymans, Vermeir (2003) (Correct)
Similar documents based on text: More All
0.3: Semantic Web Reasoning with Conceptual Logic Programs - Heymans, Van Nieuwenborgh.. (2004) (Correct)
0.2: Weighted Answer Sets and Applications in Intelligence.. - Van Nieuwenborgh.. (2004) (Correct)
0.2: An Ordered Logic Program Solver - Van Nieuwenborgh, Heymans, Vermeir (2005) (Correct)
BibTeX entry: (Update)
HEYMANS, S., AND VERMEIR, D. Integrating semantic web reasoning and answer set programming. In Answer Set Programming, Advances in Theory and Implementation, Proc. 2nd Intl. ASP'03 Workshop, Messina, Italy (2003), pp. 194--208. http://citeseer.ist.psu.edu/article/heymans03integrating.html More
@misc{ heymans03integrating,
author = "S. HEYMANS and D. VERMEIR",
title = "Integrating semantic web reasoning and answer set programming",
text = "HEYMANS, S., AND VERMEIR, D. Integrating semantic web reasoning and answer
set programming. In Answer Set Programming, Advances in Theory and Implementation,
Proc. 2nd Intl. ASP'03 Workshop, Messina, Italy (2003), pp. 194--208.",
year = "2003",
url = "citeseer.ist.psu.edu/article/heymans03integrating.html" }
Citations (may not include all citations):858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
318 Scientific American (context) - Berners-Lee, Hendler et al. - 2001
148 Practical Reasoning for Expressive Description Logics - Horrocks, Sattler et al. - 1999
118 Knowledge Engineering Review (context) - Uschold, Gruninger et al. - 1996
68 Why is Modal Logic so Robustly Decidable - Vardi - 1997
65 The Description Logic Handbook (context) - Baader, Calvanese et al. - 2003
62 the Relative Expressiveness of Description Logics and predic.. - Borgida - 1996
56 van Harmelen (context) - Fensel, Horrocks - 2000
56 Reasoning about the Past with Two-Way Automata - Vardi - 1998
40 Description Logic Programs: Combining Logic Programs with De.. - Grosof, Horrocks et al. - 2003
31 Answer Set Programming and Plan Generation - Lifschitz - 2002
24 log: Integrating Datalog and Description Logics - Donini, Lenzerini et al. - 1998
22 OIL is not Enough (context) - Bechhofer, Goble et al. - 2001
20 A Description Logic with Transitive and Converse Roles and R.. - Horrocks, Sattler - 1998
19 A Denotational Semantics for Standard OIL and Instance OIL (context) - Horrocks - 2000
16 WC Working Draft (context) - http, TR et al. - 2003
15 Datalog and Description Logics: Expressive Power - Cadoli, Palopoli et al. - 1998
10 Reasoning in Description Logics using Declarative Logic Prog.. (context) - Alsac, Baral - 2002
7 Integrating Ontology Languages and Answer set Programming - Heymans, Vermeir - 2003
7 WC Working Draft httpwww (context) - Horrocks, PatelSchneider et al. - 2003
5 A Defeasible Ontology Language - Heymans, Vermeir - 2002
5 Ontology Reasoning using an Extension of Answer Set Programm.. (context) - Heymans, Vermeir - 2003
4 Local Closed-World Assumptions for reasoning about Semantic .. (context) - Bertino, Provetti et al. - 2003
Documents on the same site (http://tinf2.vub.ac.be/~dvermeir/papers/index.html): More
Robust Semantics for Argumentation Frameworks - Jakobovits, Vermeir (1999) (Correct)
Dialectic Semantics for Argumentation Frameworks - Jakobovits, Vermeir (1999) (Correct)
Choice logic programs and Nash equilibria in strategic games - De Vos, Vermeir (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC