{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:43Z","timestamp":1775053423511,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540299226","type":"print"},{"value":"9783540322702","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580072_3","type":"book-chapter","created":{"date-parts":[[2005,10,21]],"date-time":"2005-10-21T12:04:50Z","timestamp":1129896290000},"page":"17-29","source":"Crossref","is-referenced-by-count":30,"title":["A Realistic Architecture for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kifer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos","family":"de Bruijn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harold","family":"Boley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieter","family":"Fensel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Angele, J., Boley, H., de Bruijn, J., Fensel, D., Hitzler, P., Kifer, M., Krummenacher, R., Lausen, H., Polleres, A., Studer, R.: Web rule language (wrl), Technical Report (June 2005)"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann Publishers, Los Altos (1988)"},{"key":"3_CR3","unstructured":"Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Swsl-rules: A rule language for the semantic web, Technical Report (July 2005)"},{"key":"3_CR4","unstructured":"Berners-Lee, T.: Primer: Getting into RDF & Semantic Web using N3 (2004), http:\/\/www.w3.org\/2000\/10\/swap\/Primer.html"},{"key":"3_CR5","unstructured":"Boley, H.: Knowledge Bases in the World Wide Web: A Challenge for Logic Programming. In: Tarau, P., Davison, A., Bosschere, K.D., Hermenegildo, M. (eds.) Proc. JICSLP 1996 Post-Conference Workshop on Logic Programming Tools for INTERNET Applications, COMPULOG-NET, Bonn. Revised versions in: International Workshop Intelligent Information Integration, pp. 139\u2013147 (September 1997)"},{"key":"3_CR6","first-page":"381","volume-title":"Proc. Semantic Web Working Symposium (SWWS 2001)","author":"H. Boley","year":"2001","unstructured":"Boley, H., Tabet, S., Wagner, G.: Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In: Proc. Semantic Web Working Symposium (SWWS 2001), pp. 381\u2013401. Stanford University, Stanford (July\/August 2001)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higherorder logic programming \u00a015(3), 187\u2013230 (1993)","DOI":"10.1016\/0743-1066(93)90039-J"},{"key":"3_CR8","first-page":"293","volume-title":"Negation as Failure","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Logic and Data Bases. In: Negation as Failure, pp. 293\u2013322. Plenum Press, New york (1978)"},{"key":"3_CR9","unstructured":"Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL 1998 - The Query Languages Workshop, W3C Workshop (1998)"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"3_CR11","unstructured":"Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference (2004) W3C Recommendation (February 10, 2004)"},{"key":"3_CR12","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proc. of the International Conference of Knowledge Representation and Reasoning, KR 2004 (2004)"},{"key":"3_CR13","unstructured":"Fensel, D., Decker, S., Erdmann, M., Studer, R.: Ontobroker: The very high idea. In: Proceedings of the 11th International FLAIRS Conference (FLAIRS 1998), Sanibel Island, Florida, USA, pp. 131\u2013135 (1998)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: 12th International Conference on the World Wide Web, WWW-2003 (May 2003)","DOI":"10.1145\/775152.775160"},{"key":"3_CR15","first-page":"1070","volume-title":"Proceedings of the Fifth International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"3\/4","key":"3_CR16","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"3_CR17","unstructured":"Grosof, B.N.: A courteous compiler from generalized courteous logic programs to ordinary logic programs. Technical Report RC 21472, IBM (July 1999)"},{"issue":"3","key":"3_CR18","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. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"3_CR19","unstructured":"Hayes, P.: RDF semantics. Technical report, W3C, 2004. W3C Recommendation (February 10, 2004), http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"3_CR20","volume-title":"SHOE: A Blueprint for the Semantic Web","author":"J. Heflin","year":"2003","unstructured":"Heflin, J., Hendler, J., Luke, S.: SHOE: A Blueprint for the Semantic Web. MIT Press, Cambridge (2003)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: Stack or two towers? In: Third Workshop on Principles and Practice of Semantic Web Reasoning, Dagstuhl, Germany (September 2005)","DOI":"10.1007\/11552222_4"},{"key":"3_CR22","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. Member submission ,W3C (May 21, 2004), Available from http:\/\/www.w3.org\/Submission\/SWRL\/\/"},{"issue":"1","key":"3_CR23","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"3_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11546207_1","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Kifer","year":"2005","unstructured":"Kifer, M.: Nonmonotonic reasoning in FLORA-2. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 1\u201312. Springer, Heidelberg (2005)"},{"key":"3_CR25","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 frame-based languages. Journal of the ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of the ACM"},{"key":"3_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"3_CR27","unstructured":"Lassila, O., Swick, R.R.: Resource Description Framework (RDF) Model and Syntax Specification. Recommendation REC-rdfsyntax-19990222, W3C (February 1999)"},{"key":"3_CR28","unstructured":"Marchiori, M., Saarela, J.: Query + metadata + logic = metalog. In: QL 1998 - The Query Languages Workshop, W3C Workshop (1998)"},{"key":"3_CR29","volume-title":"Computing with Logic: Logic Programming with Prolog","author":"D. Maier","year":"1988","unstructured":"Maier, D., Warren, D.S.: Computing with Logic: Logic Programming with Prolog. Benjamin-Cummings, Menlo Park (1988)"},{"key":"3_CR30","unstructured":"Ontoprise, GmbH. Ontobroker, http:\/\/www.ontoprise.com\/"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Sintek, M., Decker, S.: TRIPLE \u2013 A Query, Inference, and Transformation Language for the Semantic Web. In: 1st International Semantic Web Conference (ISWC 2002), Sardinia, Italy (June 2002)","DOI":"10.1007\/3-540-48005-6_28"},{"key":"3_CR32","first-page":"388","volume-title":"Proc. 10th International Joint Conference on Artificial Intelligence","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y.: Nonmonotonic logics: meaning and utility. In: Proc. 10th International Joint Conference on Artificial Intelligence, pp. 388\u2013393. Morgan Kaufmann, San Francisco (1987)"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45708-9","volume-title":"On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE","author":"G. Yang","year":"2002","unstructured":"Yang, G., Kifer, M.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol.\u00a02519, Springer, Heidelberg (2002)"},{"key":"3_CR34","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 Semantic Web. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 69\u201397. Springer, Heidelberg (2003)"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45708-9","volume-title":"On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE","author":"G. Yang","year":"2002","unstructured":"Yang, G., Kifer, M., Zhao, C.: FLORA-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol.\u00a02519, Springer, Heidelberg (2002)"}],"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\/11580072_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T12:36:43Z","timestamp":1586522203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580072_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540299226","9783540322702"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/11580072_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}