An entailment relation for reasoning on the web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2876, Issue , 2003, Pages 17-34

  Bry, François ^a   Schaffert, Sebastian ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA HANDLING; LOGIC PROGRAMMING;

ADDITIONAL DATUM; CLASSICAL LOGIC; DATA CONVERSION; REASONING CAPABILITIES;

COMPUTER CIRCUITS;

EID: 0242339596     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39715-1_2     Document Type: Article

References (31)

1. W3C: Resource Description Framework (RDF). (1999)
2. W3C: Web Ontology Language (OWL). (2003)
3. Decker, S.: TRIPLE - an RDF query, inference, and transformation language, (website) http://triple.semanticweb.org/.
4. Horrocks, I.: The FaCT System. (website) http://www.cs.man.ac.uk/∼horrocks/FaCT/.
5. W3C: Extensible Markup Language (XML) 1.0, Second Edition. (2000)
6. W3C: XML Schema Part 0: Primer; Part 1: Structures, Part 2: Datatypes. (2001)
7. W3C: XHTML 1.0: The Extensible HyperText Markup Language. (2000)
8. W3C: XML Path Language (XPath). (1999)
9. W3C: XQuery: A Query Language for XML. (2001)
10. Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufmann (2000)
11. Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing Simulations on Finite and Infinite Graphs. Technical report, Cornell Univ. (1996)
12. Milner, R.: An Algebraic Definition of Simulation between Programs. Memo aim-142, Stanford Univ. (1971)
13. Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: Proc. Int. Conf. on Logic Programming. LNCS, Springer-Verlag (2002)
14. Clark, K.L.: Negation as failure. In Gallaire, H., Minker, J., eds.: Logic and Data Bases. Plenum Press (1978) 293-322
15. Lloyd, J.: Foundations of Logic Programming. Springer-Verlag (1987)
16. Apt, K.R., Bol, R.: Logic Programming and Negation: A Survey. J. Logic Programming 9 (1994)
17. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. Int. Conf. on Logic Programming. (1988) 1070-1080
18. Bry, F., Schaffert, S.: A Gentle Introduction into Xcerpt, a Rule-based Query and Transformation Language for XML. In: Proc. Int. Workshop on Rule Markup Languages for Business Rules on the Semantic Web. (2002) (invited article).
19. W3C: Extensible Stylesheet Language (XSL). (2000)
20. W3C: Cascading Style Sheets, level 2. (1998)
21. Buneman, P., Fernandez, M., Suciu, D.: UnQL: A Query Language and Algebra for Semistructured Data Based on Structural Recursion. VLDB Journal 9 (2000)
22. Baru, C., Ludöscher, B., Papakonstantinou, Y., Velikhov, P., Vianu, V.: Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. In: Proc. QL'98 - The Query Languages Workshop. (1998)
23. Alashqur, A.M., Su, S.Y.W., Lam., H.: OQL: A Query Language for Manipulating Object-Oriented Databases. In: Proc. Int. Conf. on Very Large Data Bases. (1989)
24. Berlea, A., Seidl, H.: fxt - A Transformation Language for XML Documents. J. of Computing and Information Technology (2001)
25. Seipel, D.: Processing XML-Documents in Prolog. In: Proc. Workshop Logische Programmierung. (2002)
26. Heumesser, B., Seipel, D., Güntzer, U.: Flexible Processing of XML-Based Mathematical Knowledge in a Prolog-Environment. In: Proc. Int. Conf. on Mathematical Knowledge Management. LNCS (2003) -
27. May, W.: A Logic-Based Approach to XML Data Integration. (2001) Habilitation Thesis.
28. Inoue, K., Sakama, C.: A Fixpoint Characterization of Abductive Logic Programming. J. Logic Programming (1996) 107-136
29. Lifschitz, V., Pearce, D., Valverde, A.: Strongly Equivalent Logic Programs. ACM Trans. Computational Logic 2 (2001) 526-541
30. Bry, F.: An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. In: Proc. Paraconsistent Computational Logic. (2002)
31. Niemelä, I.: A Tableau Calculus For Minimal Model Reasoning. In: Proc. Workshop on Theorem Proving with Analytic Tableaux and Related Methods. LNAI, Springer-Verlag (1996)