Benjamin N. Grosof  Home/Search
Context Related
| mit.edu/bgrosof/paps/dlpwpv19.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: mit.edu/bgrosof/ (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.5%: Description Logic Programs: Combining Logic Programs.. - Grosof, Horrocks.. (2003) (Correct)
Active bibliography (related documents): More All
0.3: Challenges in Making Context Interchange - Part Of The (Correct)
0.3: COntext INterchange (COIN) System Demonstration - Aykut Firat Aykut (Correct)
0.2: SweetJess: Translating DamlRuleML to Jess - Grosof, Gandhe, Finin (2002) (Correct)
Similar documents based on text: More All
0.8: SweetDeal: Representing Agent Contracts with Exceptions using.. - Grosof, Poon (2003) (Correct)
0.7: Reviewing the Design of DAML+OIL: An Ontology Language.. - Horrocks.. (2002) (Correct)
0.7: SweetJess: Inferencing in Situated Courteous RuleML via.. - Grosof, Gandhe, Finin (2003) (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/article/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/article/grosof03description.html" }
Citations (may not include all citations):197 The complexity of concept languages - Donini, Lenzerini et al. - 1991
191 Linear time algorithms for testing the satisfiability of pro.. (context) - Dowling, Gallier - 1984
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
149 Logic programming and knowledge representation - Baral, Gelfond - 1994
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
109 the decidability of query containment under constraints - Calvanese, De Giacomo et al. - 1998
75 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991
68 Why is modal logic so robustly decidable - Vardi - 1997
65 The Description Logic Handbook (context) - Baader, Calvanese et al. - 2002
62 the relative expressiveness of description logics and predic.. - Borgida - 1996
56 A declarative approach to business rules in contracts: Court.. - Grosof, Labrou et al. - 1999
40 Ontology reasoning in the SHOQ (context) - Horrocks, Sattler - 2001
37 OWL web ontology language (context) - Dean, Connolly et al. - 2002
25 How to decide query containment under constraints using a de.. - Horrocks, Sattler et al. - 2000
18 Springer series in symbolic computation (context) - Lloyd, logic et al. - 1987
18 the restraining power of guards (context) - Gradel - 1999
16 Automated negotiation from declarative contract descriptions - Reeves, Wellman et al. - 2002
14 business rules for the semantic web: Situated courteous logi.. (context) - Grosof - 2001
10 Representing agent contracts with exceptions using xml rules - Grosof, Poon - 2002
5 Resource description framework (context) - Brinkley, Guha - 2000
3 Financial information integration in the presence of equatio.. - Firat, Madnick et al. - 2002
1 Knowledge integration to overcome ontological heterogeneity:.. - Firat, Madnick et al. - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://ebusiness.mit.edu/bgrosof/): More
Logic Programming and Knowledge Representation - Baral, Gelfond (1994) (Correct)
Representing E-Business Rules for the Semantic Web: Situated.. - Grosof (2002) (Correct)
Delegation Logic: A Logic-based Approach to Distributed.. - Li, Grosof, Feigenbaum (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