{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:49Z","timestamp":1725564649535},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203612"},{"type":"electronic","value":"9783540397151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39715-1_2","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T00:33:00Z","timestamp":1283560380000},"page":"17-34","source":"Crossref","is-referenced-by-count":4,"title":["An Entailment Relation for Reasoning on the Web"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Bry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Schaffert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"W3C: Resource Description Framework (RDF) (1999)"},{"key":"2_CR2","unstructured":"W3C: Web Ontology Language (OWL) (2003)"},{"key":"2_CR3","unstructured":"Decker, S.: TRIPLE \u2013 an RDF query, inference, and transformation language, website, http:\/\/triple.semanticweb.org\/"},{"key":"2_CR4","unstructured":"Horrocks, I.: The FaCT System, website http:\/\/www.cs.man.ac.uk\/~horrocks\/FaCT\/"},{"key":"2_CR5","unstructured":"W3C: Extensible Markup Language (XML) 1.0, 2 edn. (2000)"},{"key":"2_CR6","unstructured":"W3C: XML Schema Part 0: Primer. Part 1: Structures, Part 2: Datatypes (2001)"},{"key":"2_CR7","unstructured":"W3C: XHTML 1.0: The Extensible HyperText Markup Language (2000)"},{"key":"2_CR8","unstructured":"W3C: XML Path Language (XPath) (1999)"},{"key":"2_CR9","unstructured":"W3C: XQuery: A Query Language for XML (2001)"},{"key":"2_CR10","volume-title":"Data on the Web. From Relations to Semistructured Data and XML","author":"S. Abiteboul","year":"2000","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufmann, San Francisco (2000)"},{"key":"2_CR11","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing Simulations on Finite and Infinite Graphs. Technical report, Cornell Univ. (1996)"},{"key":"2_CR12","unstructured":"Milner, R.: An Algebraic Definition of Simulation between Programs. Memo aim-142, Stanford Univ. (1971)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. Int. Conf. on Logic Programming","author":"F. Bry","year":"2002","unstructured":"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, Heidelberg (2002)"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"2_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Bol, R.: Logic Programming and Negation: A Survey. J. Logic Programming\u00a09 (1994)","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"2_CR17","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. Int. Conf. on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"2_CR18","unstructured":"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)"},{"key":"2_CR19","unstructured":"W3C: Extensible Stylesheet Language (XSL) (2000)"},{"key":"2_CR20","unstructured":"W3C: Cascading Style Sheets. level 2 (1998)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Buneman, P., Fernandez, M., Suciu, D.: UnQL: A Query Language and Algebra for Semistructured Data Based on Structural Recursion. VLDB Journal\u00a09 (2000)","DOI":"10.1007\/s007780050084"},{"key":"2_CR22","unstructured":"Baru, C., Lud\u00f6scher, B., Papakonstantinou, Y., Velikhov, P., Vianu, V.: Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. In: Proc. QL 1998 \u2013 The Query Languages Workshop (1998)"},{"key":"2_CR23","unstructured":"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)"},{"key":"2_CR24","unstructured":"Berlea, A., Seidl, H.: fxt \u2013 A Transformation Language for XML Documents. J. of Computing and Information Technology (2001)"},{"key":"2_CR25","unstructured":"Seipel, D.: Processing XML-Documents in Prolog. In: Proc. Workshop Logische Programmierung (2002)"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36469-2_11","volume-title":"Mathematical Knowledge Management","author":"B. Heumesser","year":"2003","unstructured":"Heumesser, B., Seipel, D., G\u00fcntzer, U.: Flexible Processing of XML-Based Mathematical Knowledge in a Prolog-Environment. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol.\u00a02594. Springer, Heidelberg (2003)"},{"key":"2_CR27","unstructured":"May, W.: A Logic-Based Approach to XML Data Integration. Habilitation Thesis (2001)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Inoue, K., Sakama, C.: A Fixpoint Characterization of Abductive Logic Programming. J. Logic Programming, 107\u2013136 (1996)","DOI":"10.1016\/0743-1066(95)00119-0"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly Equivalent Logic Programs. ACM Trans. Computational Logic\u00a02, 526\u2013541 (2001)","journal-title":"ACM Trans. Computational Logic"},{"key":"2_CR30","unstructured":"Bry, F.: An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. In: Proc. Paraconsistent Computational Logic (2002)"},{"key":"2_CR31","series-title":"LNAI","volume-title":"Proc. Workshop on Theorem Proving with Analytic Tableaux and Related Methods","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I.: A Tableau Calculus For Minimal Model Reasoning. In: Proc. Workshop on Theorem Proving with Analytic Tableaux and Related Methods. LNCS (LNAI), Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Rules and Rule Markup Languages for the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39715-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T13:11:52Z","timestamp":1559567512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39715-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203612","9783540397151"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39715-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}