@inproceedings{dlp,
	title = {Description Logic Programs: Combining Logic Programming with Description Logic},
	address = {New York},
	author = {Benjamin Grosof and Ian Horrocks and Raphael Volz and Stefan Decker},
	booktitle = {Proceedings of the WWW2003 Conference, Budapest, Hungary},
	editor = {Yih-Farn Robin Chen and László Kovács and Steve Lawrence},
	publisher = {ACM},
	url = {http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/280f4195663781ec031df1adca4523ee6/aljsanchez},
	description = {This is also the basis for the DLP tractable fragment of owl1.1},
	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 RDF-Schema fragment of Description Logic.},
	keywords = {dlp ontology }
}