{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T10:30:23Z","timestamp":1749033023016},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278283"},{"type":"electronic","value":"9783540316756"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11526988_2","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T20:27:30Z","timestamp":1279139250000},"page":"22-34","source":"Crossref","is-referenced-by-count":16,"title":["Rules and Ontologies in F-Logic"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kifer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-3-540-24750-0_2","volume-title":"Handbook on Ontologies in Information Systems","author":"J. Angele","year":"2004","unstructured":"Angele, J., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies in Information Systems, pp. 29\u201350. Springer, Berlin (2004)"},{"volume-title":"The Description Logic Handbook","year":"2002","key":"2_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF01535840","volume":"15","author":"M. Balaban","year":"1995","unstructured":"Balaban, M.: The F-logic approach for description languages. Annals of Mathematics and Artificial Intelligence\u00a015(1), 19\u201360 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR4","unstructured":"Berardi, D., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., Su, J., Tabet, S.: SWSL: Semantic Web Services Language. Technical report, Semantic Web Services Initiative (April 2005), http:\/\/www.daml.org\/services\/swsl\/"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-1-4615-5643-5_5","volume-title":"Logics for Databases and Information Systems, ch. 5","author":"A. Bonner","year":"1998","unstructured":"Bonner, A., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 5, pp. 117\u2013166. Kluwer Academic Publishers, Dordrecht (1998)"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.: A foundation for higher-order logic programming. Journal of Logic Programming\u00a015(3), 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"2_CR7","unstructured":"de Bruijn, J., Lausen, H., Krummenacher, R., Polleres, A., Predoiu, L., Fensel, D.: The WSML family of representation languages. Technical report, DERI (March 2005), http:\/\/www.wsmo.org\/TR\/d16\/d16.1\/"},{"key":"2_CR8","unstructured":"Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL1998 - The Query Languages Workshop (December 1998)"},{"key":"2_CR9","unstructured":"Fensel, D., Erdmann, M., Studer, R.: OntoBroker: How to make the WWW intelligent. In: Proceedings of the 11th Banff Knowledge Acquisition for Knowledge- Based Systems Workshop, Banff, Canada (1998)"},{"key":"2_CR10","first-page":"273","volume-title":"Proceedings of the Intl. Conference on Very Large Databases","author":"J. Frohn","year":"1994","unstructured":"Frohn, J., Lausen, G., Uphoff, H.: Access to objects by path expressions and rules. In: Proceedings of the Intl. Conference on Very Large Databases, Santiago, Chile, pp. 273\u2013284. Morgan Kaufmann, San Francisco (1994)"},{"key":"2_CR11","unstructured":"Grosof, B.: Prioritized conflict handling for logic programs. In: International Logic Programming Symposium, pp. 197\u2013211 (1997)"},{"key":"2_CR12","unstructured":"Grosof, B.: A courteous compiler from generalized courteous logic programs to ordinary logic programs. Technical Report RC 21472, IBM (July 1999)"},{"key":"2_CR13","unstructured":"Hayes, P.: RDF model theory. In: W3C Working Draft, 10 October (2003), Available at http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"2_CR14","unstructured":"Kifer, M., Lara, R., Polleres, A., Zhao, C.: A logical framework for web service discovery. In: Semantic Web Services Workshop (November 2004)"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of ACM"},{"key":"2_CR16","unstructured":"Klyne, G., Carroll, J.J.: Resource description framework (RDF): Concepts and abstract syntax. In: W3C Working Draft, 10 October (2003), Available at http:\/\/www.w3.org\/TR\/rdf-concepts\/"},{"key":"2_CR17","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer series in symbolic computation. Springer, New York (1987)"},{"key":"2_CR18","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge (1992)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Lindenstrauss, N., Sagiv, Y.: Automatic termination analysis of logic programs. In: International Conference on Logic Programming (1997)","DOI":"10.7551\/mitpress\/4299.003.0011"},{"key":"2_CR20","unstructured":"Ontoprise, GmbH. OntoBroker Manual, http:\/\/www.ontoprise.com\/"},{"key":"2_CR21","unstructured":"OWL-S Coalition. OWL-S: Semantic markup for Web services. Release 1.1 (December 2004), http:\/\/www.daml.org\/services\/owl-s\/1.1\/"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF01530784","volume":"12","author":"T. Przymusinski","year":"1994","unstructured":"Przymusinski, T.: Well-founded and stationary models of logic programs. Annals of Mathematics and Artificial Intelligence\u00a012, 141\u2013187 (1994)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR23","unstructured":"Sintek, M., Decker, S., Harth, A.: The TRIPLE system (2003), http:\/\/triple.semanticweb.org\/"},{"key":"2_CR24","unstructured":"Smith, M.K., Welty, C., McGuinness, D.L.: OWL Web ontology language guide. W3C Candidate Recommendation, August 18 (2003), http:\/\/www.w3.org\/TR\/owl-guide\/"},{"issue":"2","key":"2_CR25","first-page":"63","volume":"22","author":"S. Staab","year":"2000","unstructured":"Staab, S., Maedche, A.: Knowledge portals: Ontologies at work. The AI Magazine\u00a022(2), 63\u201375 (2000)","journal-title":"The AI Magazine"},{"issue":"3","key":"2_CR26","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Yang, G., Kifer, M.: Implementing an efficient DOOD system using a tabling logic engine. In: First International Conference on Computational Logic, DOOD 2000 Stream (July 2000)","DOI":"10.1007\/3-540-44957-4_72"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Yang, G., Kifer, M.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: Intl. Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE) (October 2002)","DOI":"10.1007\/3-540-36124-3_65"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-39715-1_7","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Inheritance and rules in object-oriented semantic Web languages. In: Schr\u00f6der, M., Wagner, G. (eds.) RuleML 2003. LNCS, vol.\u00a02876, pp. 95\u2013110. Springer, Heidelberg (2003)"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-39733-5_4","volume-title":"Journal on Data Semantics I","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the SemanticWeb. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 69\u201397. Springer, Heidelberg (2003)"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Yang, G., Kifer, M., Zhao, C.: FLORA-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In: International Conference on Ontologies, Databases and Applications of Semantics (ODBASE-2003) (November 2003)","DOI":"10.1007\/978-3-540-39964-3_43"},{"key":"2_CR32","unstructured":"Yang, G., Kifer, M., Zhao, C.: FLORA-2: User\u2019s Manual (March 2005), http:\/\/flora.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11526988_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T09:34:11Z","timestamp":1711618451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11526988_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278283","9783540316756"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11526988_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}