dlvhex: A system for integrating multiple semantics in an answer-set programming framework

Proceedings of the 20th Workshop on Logic Programming, WLP 2006

Volumn , Issue , 2006, Pages 206-210

  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

ATOMS; DATA DESCRIPTION; KNOWLEDGE MANAGEMENT; LOGIC PROGRAMMING; SEMANTICS; XML;

ANSWER-SET PROGRAMMING; DESCRIPTION LOGIC; DEVELOPMENT STATUS; EXTERNAL KNOWLEDGE; EXTERNAL SOURCES; METAREASONING; NONMONOTONIC LOGIC PROGRAMS; REASONING ENGINE;

SEMANTIC WEB;

EID: 56749120704     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

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. D. Giacomo, and M. Lenzerini. A Framework for Ontology Integration. In Proc. SWWS 2001, pages 303-316, 2001.
3. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. Nonmonotonic Description Logic Programs: Implementation and Experiments. In Proc. LPAR 2004, pages 511-527, 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. Morgan Kaufmann, 2005.
5. W. Faber, N. Leone, and G. Pfeifer. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In Proc. JELIA 2004, pages 200-212, 2004.
6. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
7. V. Haarslev and R. Möller. RACER System Description. In Proc. IJCAR 2001, pages 701-705, 2001.
8. 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.
9. 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.
10. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic. To appear.
11. M. Sintek and S. Decker. TRIPLE-A Query, Inference, and Transformation Language for the Semantic Web. In Proc. ISWC 2002, pages 364-378, 2002.
12. K. Wang, G. Antoniou, R. W. Topor, and A. Sattar. Merging and Aligning Ontologies in dl-Programs. In Proc. RuleML 2005 pages 160-171, 2005.