Benjamin N. Grosof, Ian Horrocks, Raphael Volz, et al.  Home/Search
Context Related
Links: DBLP | cs.man.ac.uk/~horrock...p117grosof.pdf 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: cs.man.ac.uk/~horr...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL) which is an expressive fragment of first-order logic (FOL). DLP provides a... (Update)
Cited by: More
Exposing relational data on the Semantic Web - With Cross Pierre-Antoine (2005) (Correct)
Semantic Web in a Pervasive Context-Aware Architecture - Harry Chen Baltimore (2003) (Correct)
Uncertainty and Description Logic Programs over Lattices - Straccia (2005) (Correct)
Similar documents (at the sentence level):
68.1%: Description Logic Programs: Combining Logic Programs with.. - Grosof (2003) (Correct)
Active bibliography (related documents): More All
0.1: A Policy Language for the Me-Centric Project - Lalana Kagal Hp (2002) (Correct)
0.1: The MIND Architecture for Heterogeneous Multimedia - Federated Digital Libraries (Correct)
0.1: A Database Perspective on the Semantic Web: A Brief Commentary - Manola (Correct)
Similar documents based on text: More All
0.9: Rules and DAML: Description Logic Programs, Rule-based Semantic.. - Grosof (2002) (Correct)
0.5: SweetDeal: Representing Agent Contracts with Exceptions using.. - Grosof, Poon (2003) (Correct)
0.5: Representing E-Business Rules for the Semantic Web: Situated.. - Grosof (Correct)
Related documents from co-citation: More All
13: Scientific American (context) - Berners-Lee, Handler et al. - 2001
10: Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
9: Combining horn rules and description logics in CARIN (context) - Levy, Rousset - 1998
BibTeX entry: (Update)
B. N. Grosof, I. Horrocks, R. Volz, S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of 12th International Conference on the World Wide Web (WWW-2003. http://citeseer.ist.psu.edu/grosof03description.html More
@misc{ grosof03description,
author = "B. Grosof and I. Horrocks and R. Volz and S. Decker",
title = "Description Logic Programs: Combining Logic Programs with Description Logic",
text = "B. N. Grosof, I. Horrocks, R. Volz, S. Decker. Description Logic Programs:
Combining Logic Programs with Description Logic. In: Proceedings of 12th
International Conference on the World Wide Web (WWW-2003.",
year = "2003",
url = "citeseer.ist.psu.edu/grosof03description.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge-base Systems (context) - Ullman - 1988 ACM
197 The complexity of concept languages - Donini, Lenzerini et al. - 1991 ACM DBLP
191 Linear time algorithms for testing the satisfiability of pro.. (context) - Dowling, Gallier - 1984
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991 DBLP
149 Logic programming and knowledge representation - Baral, Gelfond - 1994 ACM DBLP
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999 ACM DBLP
115 Magic templates: A spellbinding approach to logic programs - RAMAKRISHNAN - 1991 DBLP
112 Xsb as an efficient deductive database engine - Sagonas, Swift et al. - 1994 ACM DBLP
109 the decidability of query containment under constraints - Calvanese, De Giacomo et al. - 1998
68 Why is modal logic so robustly decidable - Vardi - 1997
65 The Description Logic Handbook (context) - Baader, Calvanese et al. - 2002 ACM
62 the relative expressiveness of description logics and predic.. - Borgida - 1996
40 the restraining power of guards - adel - 1999
40 Ontology reasoning in the SHOQ (context) - Horrocks, Sattler - 2001
29 Description of the RACER system and its applications - Haarslev, Moller DBLP
25 How to decide query containment under constraints using a de.. - Horrocks, Sattler et al. - 2000 DBLP
18 Springer series in symbolic computation (context) - Lloyd, logic et al. - 1987
9 Patel-Schneider (context) - Connolly, van Harmelen et al. - 2001
1 ruleml/indesign (context) - Boley, Grosof et al. - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.man.ac.uk/~horrocks/Publications/publications.html): More
FaCT and DLP - Horrocks, Patel-Schneider (Correct)
Practical Reasoning for Description Logics with.. - Horrocks, Sattler.. (1999) (Correct)
Knowledge Representation on the Web - Decker, Fensel, van Harmelen.. (2000) (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