Description Logic Programs: Combining Logic Programs with Description Logic
Grosof, Benjamin, Horrocks, Ian, Volz, Raphael and Decker, Stefan, "Description Logic Programs: Combining Logic Programs with Description Logic" (February 2003). MIT Sloan Working Paper No. 4437-03. Available at SSRN:
We show how to perform DLP-fusion: the bidirectional translation of premises and inferences (including typical kinds of queries) from the DLP fragment of DL to LP, and vice versa from the DLP fragment of LP to DL. In particular, this translation enables one to "build rules on top of ontologies": it enables the rule KR to have access to DL ontological definitions for vocabulary primitives (e.g., predicates and individual constants) used by the rules. Conversely, the DLP-fusion technique likewise enables one to "build ontologies on top of rules": it enables ontological definitions to be supplemented by rules, or imported into DL from rules. It also enables available efficient LP inferencing algorithms/implementations to be exploited for reasoning over large-scale DL ontologies.
Click here to see more on this topic.
Previous visitors have searched for information on pocket pc lotus notes sync, lotus notes crm and customer domino lotus management relationship. We do collect this information to update our site to your needs.
Lotus Notes is used by more than 100.000 people world wide. Other e-mail clients are: Mulberry , KMail and Lotus Notes and other personal information manager software are: EssentialPIM (Windows) , Zimbra and Chandler .
Products or trademarks named are used for reference, without any implied endorsement by their holders and
without intent to infringe. Disclaimer. Copyright 2005 - feedback hulsman @t h0tmail