Description Logic Programs: Combining Logic Programs with Description Logic

DMCA

Description Logic Programs: Combining Logic Programs with Description Logic (2002)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Benjamin N. Grosof , Ian Horrocks

Citations:

529 - 46 self

BibTeX

@MISC{Grosof02descriptionlogic,
    author = {Benjamin N. Grosof and Ian Horrocks},
    title = {Description Logic Programs: Combining Logic Programs with Description Logic},
    year = {2002}
}

OpenURL

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 significant degree of expressiveness, substantially greater than the RDFSchema fragment of Description Logic.

Keyphrases

description logic program description logic logic program expressive fragment new intermediate knowledge representation rdfschema fragment ruleml logic program expressive intersection significant degree related description horn logic semantic web approach owl daml oil description logic first-order logic

DMCA