dlvhex: A prover for Semantic-Web reasoning under the answer-set semantics

Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06

Volumn , Issue , 2006, Pages 1073-1074

  Eiter, Thomas ^a   Ianni, Giovambattista ^a   Schindlauer, Roman ^a   Tompits, Hans ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION RETRIEVAL; KNOWLEDGE ENGINEERING; LOGIC PROGRAMMING; METADATA; QUERY PROCESSING;

ANSWER SET PROGRAMMING (ASP); DESCRIPTION LOGICS; META-REASONING;

SEMANTIC WEB;

EID: 42549124003     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2006.64     Document Type: Conference Paper

References (8)

1. H. Boley, S. Tabet, and G. Wagner. Design Rationale for RuleML: A Markup Language for Semantic Web Rules. In Proc. SWWS 2001, pages 381-401, 2001.
2. D. Calvanese, G. De Giacomo, and M. Lenzerini. A Framework for Ontology Integration. In Proc. SWWS-2001, pages 303-316, 2001.
3. G. Ianni, G. Ielpa, A Pietramala, M. C. Santoro and F. Calimeri. Enhancing Answer Set Programming with Templates, In Proc. NMR 2004, pages 233-239, 2004.
4. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A Uniform Integration of Higher Order Reasoning and External Evaluations in Answer Set Programming. In Proc. IJCAI 2005, pages 90-96, 2005.
5. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
6. Leone, N., et al: The DLV System for Knowledge Representation and Reasoning. ACM TOCL, to appear.
7. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4):741-843, 1995.
8. M. Sintek and S. Decker. TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In Proc. ISWC-2002, pages 364-378.