{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:20:12Z","timestamp":1742379612972},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297543"},{"type":"electronic","value":"9783540320821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11574620_26","type":"book-chapter","created":{"date-parts":[[2005,10,16]],"date-time":"2005-10-16T01:05:16Z","timestamp":1129424716000},"page":"338-352","source":"Crossref","is-referenced-by-count":2,"title":["On Logical Consequence for Collections of OWL Documents"],"prefix":"10.1007","author":[{"given":"Yuanbo","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Heflin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Amir, E., McIlraith, S.: Partition-Based Logical Reasoning for First-Order and Propositional Theories. Artificial Intelligence journal (2003)","key":"26_CR1"},{"doi-asserted-by":"crossref","unstructured":"Borgida, A., Serafini, L.: Distributed Description Logics - Assimilating Information from Peer Sources. Journal of Data Semantics\u00a0(1) (2003)","key":"26_CR2","DOI":"10.1007\/978-3-540-39733-5_7"},{"issue":"1-2","key":"26_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0004-3702(97)00042-8","volume":"97","author":"A. Darwiche","year":"1997","unstructured":"Darwiche, A.: A logical notion of conditional independence: properties and applications. Artificial Intelligence\u00a097(1-2), 45\u201382 (1997)","journal-title":"Artificial Intelligence"},{"unstructured":"Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference, W3C Recommendation (February 10, 2004), http:\/\/www.w3.org\/TR\/2004\/REC-owl-ref-20040210\/","key":"26_CR4"},{"unstructured":"Elhaik, Q., Rousset, M.-C.: Making an ABox persistent. In: Proc. of the 1998 Description Logic Workshop, DL 1998 (1998)","key":"26_CR5"},{"doi-asserted-by":"crossref","unstructured":"Greiner, R., Pearl, J., Subramanian, D. (eds.): Artificial Intelligence, vol.\u00a097 (1\u20132) (1997) (Special Issue on Relevance)","key":"26_CR6","DOI":"10.1016\/S0004-3702(97)00075-1"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-30475-3_20","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"Y. Guo","year":"2004","unstructured":"Guo, Y., Pan, Z., Heflin, J.: An Evaluation of Knowledge Base Systems for Large OWL Datasets. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 274\u2013288. Springer, Heidelberg (2004)"},{"unstructured":"Guo, Y., Heflin, J.: An Initial Investigation into Querying an Untrustworthy and Inconsistent Web. In: ISWC 2004 Workshop on Trust, Security and Reputation on the Semantic Web (2004)","key":"26_CR8"},{"unstructured":"Haarslev, V., M\u00f6ller, R.: A Core Inference Engine for the Semantic Web. In: Workshop on Evaluation on Ontology-based Tools, ISWC 2003 (2003)","key":"26_CR9"},{"unstructured":"Haarslev, V., M\u00f6ller, R.: Optimization Techniques for Retrieving Resources Described in OWL\/RDF Documents: First Results. In: Proc. of Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004 (2004)","key":"26_CR10"},{"unstructured":"Haarslev, V., M\u00f6ller, R., Wessel, M.: Querying the Semantic Web with Racer + nRQL. In: Proc. of the Workshop on Description Logics 2004, ADL 2004 (2004)","key":"26_CR11"},{"key":"26_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The faCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, p. 307. Springer, Heidelberg (1998)"},{"issue":"4","key":"26_CR13","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. J. of Web Semantics\u00a01(4), 345\u2013357 (2004)","journal-title":"J. of Web Semantics"},{"issue":"1","key":"26_CR14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0004-3702(02)00244-8","volume":"141","author":"J. Lang","year":"2002","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Conditional independence in propositional logic. Artificial Intelligence Journal\u00a0141(1), 79\u2013121 (2002)","journal-title":"Artificial Intelligence Journal"},{"key":"26_CR15","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J. Lang","year":"2003","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence: formula-variable independence and forgetting. Journal of Artificial Intelligence Research\u00a018, 391\u2013443 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"unstructured":"Levesque, H.: A completeness result for reasoning with incomplete knowledge bases. In: Proc. of KR 1998, Sixth International Conference on Principles of Knowledge Representation and Reasoning (1998)","key":"26_CR16"},{"issue":"1-2","key":"26_CR17","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0004-3702(97)00049-0","volume":"97","author":"A.Y. Levy","year":"1997","unstructured":"Levy, A.Y., Fikes, R.E., Sagiv, Y.: Speeding up inferences using relevance reasoning: a formalism and algorithms. Artificial Intelligence\u00a097(1-2), 83\u2013136 (1997)","journal-title":"Artificial Intelligence"},{"unstructured":"McGuinness, D.L., Borgida, A.: Explaining Subsumption in Description Logics. In: Proc. of the 14th International Joint Conference on Artificial Intelligence (1995)","key":"26_CR18"},{"unstructured":"Patel-Schneider, P.F. (ed.): OWL Web Ontology Language Semantics and Abstract Syntax, http:\/\/www.w3.org\/TR\/owl-semantics\/","key":"26_CR19"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023423","volume-title":"Logics in AI","author":"V. Royer","year":"1992","unstructured":"Royer, V., Quantz, J.J.: Deriving Inference Rules for Terminological Logics. In: Pearce, D.J., Wagner, G. (eds.) JELIA 1992. LNCS, vol.\u00a0633. Springer, Heidelberg (1992)"},{"unstructured":"Royer, V., Quantz, J.J.: Deriving Inference Rules for Description Logics: a Rewriting Approach into Sequent Calculi. KIT REPORT 111 (December 1993)","key":"26_CR21"},{"unstructured":"Tsarkov, D., Horrocks, I.: DL reasoner vs. first-order prover. In: Proc. of the, Description Logic Workshop (DL 2003)","key":"26_CR22"},{"unstructured":"W3C RDF. Resource Description Framework (RDF), http:\/\/www.w3.org\/RDF\/","key":"26_CR23"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11574620_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:59Z","timestamp":1605643019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11574620_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297543","9783540320821"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11574620_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}