H. Boley, B. Grosof, M. Sintek, S. Tabet, and G. Wagner. RuleML Design , September 2002. http://www.dfki.uni-kl.de/ruleml/indesign.html. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Description Logic Programs: Combining Logic Programs.. - Grosof, Horrocks.. (2003) (35 citations) Self-citation (Grosof) (Correct)
....Web (SW) In this paper, we focus on meeting key requirements for such a combination of rules and ontologies by establishing the basis for a combined logical knowledge representation (KR) formalism. We start from the current draft standards for ontologies (DAML OIL) 6] and for rules (RuleML) [3] in the Semantic Web context, and show how aspects of each language can be translated to the other. Both standards correspond with established KR formalisms: Description Logic (DL) in the case of DAML OIL, and (declarative) logic programs (LP) in the case of RuleML. This correspondence allows ....
H. Boley, B. Grosof, M. Sintek, S. Tabet, and G. Wagner. RuleML Design , September 2002. http://www.dfki.uni-kl.de/ruleml/indesign.html.
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