Applying prolog to semantic web ontologies & rules moving toward description logic programs

CEUR Workshop Proceedings

Volumn 196, Issue , 2006, Pages 112-113

  Samuel, K ^a   Obrst, L ^a   Stoutenburg, S ^a   Fox, K ^a   Franklin, P ^a   Johnson, A ^a   Laskey, K ^a   Nichols, D ^a   Lopez, S ^a   Peterson, J ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84884292944     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (8)

1. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: The Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (2004).
2. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: DLV-HEX: Dealing with Semantic Web under Answer-Set Programming. In: The Proceedings of the 4th International Semantic Web Conference (2005).
3. Grosof, B., Labrou, Y., Chan, H. Y.: A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In: The Proceedings of the 1st ACM Conference on Electronic Commerce (1999).
4. Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: The Proceedings of the 12th International Conference on the World Wide Web (2003).
5. Heymans, S., Vermeir, D.: Integrating Description Logics and Answer Set Programming. In: The Proceedings of the International Workshop on Principles and Practice of Semantic Web Reasoning. Springer LNCS 2901 (2003), 146-159.
6. Motik, B., Rosati, R.: Closing Semantic Web Ontologies. University of Karlsruhe Technical Report. www.cs.man.ac.uk/~bmotik/publications/paper.pdf (2006).
7. Niemel, I., Simons, P.: Smodels An Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs. In: The Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning (1997), 420-429.
8. Volz, R., Decker, S., Oberle, D.: Bubo-Implementing OWL in Rule-Based Systems. www.daml.org/listarchive/joint-committee/att-1254/01-bubo.pdf (2003).