{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:11:17Z","timestamp":1725495077539},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759744"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75975-1_2","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:40:55Z","timestamp":1194986455000},"page":"7-24","source":"Crossref","is-referenced-by-count":11,"title":["Are Your Rules Online? Four Web Rule Essentials"],"prefix":"10.1007","author":[{"given":"Harold","family":"Boley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Antoniou, G., Damasio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining Rules and Ontologies \u2013 A Survey. Deliverables I3-D3, REWERSE (March 2005), http:\/\/rewerse.net\/deliverables\/m12\/i3-d3.pdf"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-30504-0_5","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"N. Bassiliades","year":"2004","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.P.: A Defeasible Logic Reasoner for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 49\u201364. Springer, Heidelberg (2004)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/11580072_20","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"M. Ball","year":"2005","unstructured":"Ball, M., Boley, H., Hirtle, D., Mei, J., Spencer, B.: The OO jDREW Reference Implementation of RuleML. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 218\u2013223. Springer, Heidelberg (2005)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bhavsar, V.C., Boley, H., Yang, L.: A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in e-Business Environments. In: Proc. Business Agents and the Semantic Web (BASeWEB) Workshop. Also in: Computational Intelligence ( November 2004)","DOI":"10.1111\/j.0824-7935.2004.00255.x"},{"key":"2_CR5","unstructured":"Baisley, D.E., Hall, J., Chapin, D.: Semantic Formulations in SBVR. In: Rule Languages for Interoperability. W3C, (2005)"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-0-387-34347-1_9","volume-title":"Canadian Semantic Web. Semantic Web and Beyond: Computing for Human Experience","author":"Y. Biletskiy","year":"2006","unstructured":"Biletskiy, Y., Hirtle, D., Vorochek, O.: Toward the Identification and Elimination of Semantic Conflicts for Integration of Ontologies. In: Canadian Semantic Web. Semantic Web and Beyond: Computing for Human Experience, pp. 135\u2013142. Springer, Heidelberg (2006)"},{"key":"2_CR7","unstructured":"Boley, H., Kifer, M.: RIF Core Design. In: W3C Working Draft, W3C (March 2007), http:\/\/www.w3.org\/TR\/2007\/WD-rif-core-20070330\/"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-74615-7_5","volume-title":"Reasoning Web 2007","author":"H. Boley","year":"2007","unstructured":"Boley, H., Kifer, M., P\u0103tr\u00e2njan, P.-L., Polleres, A.: Rule Interchange on the Web. In: Reasoning Web 2007. LNCS, vol.\u00a04636, pp. 269\u2013309. Springer, Heidelberg (2007)"},{"key":"2_CR9","unstructured":"Berners-Lee, T.: Webizing Existing Systems. In: World Wide Web Consortium, personal notes on: Design Issues \u2013 Architectural and Philosophical Points (May 2001), http:\/\/www.w3.org\/DesignIssues\/Webize.html"},{"key":"2_CR10","unstructured":"Berners-Lee, T.: World Wide Web Consortium. In: personal notes on: Design Issues \u2013 Architectural and Philosophical Points (March 2006), http:\/\/www.w3.org\/DesignIssues\/Notation3"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19\/20","author":"M. Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in Logic Programming. Journal of Logic Programming\u00a019\/20, 443\u2013502 (1994)","journal-title":"Journal of Logic Programming"},{"key":"2_CR12","unstructured":"Boley, H.: ONTOFILE: Exterior and Interior Ontologies of File\/HTTP URLs. In: Jaakkola, H., Kangassalo, H., Kawaguchi, E. (eds.) Information Modelling and Knowledge Bases X, IOS Press, Amsterdam, Frontiers in Artificial Intelligence and Applications, Spring (1999)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"H. Boley","year":"2003","unstructured":"Boley, H.: Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. In: Schroeder, M., Wagner, G. (eds.) RuleML 2003. LNCS, vol.\u00a02876, pp. 1\u201316. Springer, Heidelberg (2003)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11853107_1","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"H. Boley","year":"2006","unstructured":"Boley, H.: The RuleML Family of Web Rule Languages. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol.\u00a04187, pp. 1\u201317. Springer, Heidelberg (2006)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/11526988_6","volume-title":"Reasoning Web","author":"N.E. Fuchs","year":"2005","unstructured":"Fuchs, N.E., H\u00f6fler, S., Kaljurand, K., Rinaldi, F., Schneider, G.: Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines. In: Eisinger, N., Ma\u0142uszy\u0144ski, J. (eds.) Reasoning Web. LNCS, vol.\u00a03564, pp. 213\u2013250. Springer, Heidelberg (2005)"},{"key":"2_CR16","unstructured":"Grau, B.C., Calvanese, D., Giacomo, G.D., Horrocks, I., Lutz, C., Motik, B., Parsia, B., Patel-Schneider, P.F.: OWL 1.1 Web Ontology Language Tractable Fragments. In: W3C Member Submission (December 2006), http:\/\/www.w3.org\/Submission\/owl11-tractable\/"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"B.N. Grosof","year":"2004","unstructured":"Grosof, B.N.: Representing e-Commerce Rules via Situated Courteous Logic Programs in RuleML. Electronic Commerce Research and Applications\u00a03(1), 2\u201320 (2004)","journal-title":"Electronic Commerce Research and Applications"},{"key":"2_CR18","unstructured":"Halpin, H.: Identity, Reference, and Meaning on the Web. WWW2006 Workshop on Identity, Reference, and the Web May (2006), http:\/\/www.ibiblio.org\/hhalpin\/irw2006\/,"},{"key":"2_CR19","unstructured":"Hayes, P.: RDF Semantics. W3C Recommendation (February 2004)"},{"key":"2_CR20","unstructured":"Haemmerl\u00e9, R., Fages, F.: Modules for Prolog Revisited. Rapport de recherche No. 5869, INRIA, Rocquencourt March (2006), http:\/\/hal.inria.fr\/inria-00070157\/en\/,"},{"key":"2_CR21","unstructured":"Hirtle, D.: TRANSLATOR: A TRANSlator from LAnguage TO Rules. In: Canadian Symposium on Text Analysis (CaSTA), Fredericton, Canada, October 2006, pp. 127\u2013139 (2006)"},{"key":"2_CR22","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: Semantic Web Rule Language (SWRL). W3C Member Submission (May 2004), http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11580072_3","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"M. Kifer","year":"2005","unstructured":"Kifer, M., de Bruijn, J., Boley, H., Fensel, D.: A Realistic Architecture for the Semantic Web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 17\u201329. Springer, Heidelberg (2005)"},{"issue":"2","key":"2_CR24","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D.E. Knuth","year":"1984","unstructured":"Knuth, D.E.: Literate programming. The Computer Journal\u00a027(2), 97\u2013111 (1984)","journal-title":"The Computer Journal"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-540-72982-2_24","volume-title":"RR","author":"T. Kuhn","year":"2007","unstructured":"Kuhn, T.: AceRules: Executing Rules in Controlled Natural Language. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR. LNCS, vol.\u00a04524, pp. 299\u2013308. Springer, Heidelberg (2007)"},{"key":"2_CR26","unstructured":"Li, J., Boley, H., Bhavsar, V.C., Mei, J.: Expert Finding for eCollaboration Using FOAF with RuleML Rules. In: Montreal Conference of eTechnologies 2006, pp. 53\u201365 (2006)"},{"issue":"1\u20132","key":"2_CR27","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.A. Levy","year":"1998","unstructured":"Levy, A.A., Rousset, M.-C.: CARIN: A Representation Language Combining Horn Rules and Description Logics. Artificial Intelligence\u00a0104(1\u20132), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"2_CR28","unstructured":"Maclachlan, A., Boley, H.: Semantic Web Rules for Business Information. In: WTAS 2005. Proc. International Conference on Web Technologies, Applications, and Services, Calgary, Canada, IASTED (2005)"},{"key":"2_CR29","unstructured":"McCarthy, J.: Notes on Formalizing Context. In: IJCAI, pp. 555\u2013562 (1993)"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-540-72982-2_12","volume-title":"RR 2007","author":"J. Mei","year":"2007","unstructured":"Mei, J., Lin, Z., Boley, H.: ALC $^u_P$ : An Integration of Description Logic and General Rules. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 163\u2013177. Springer, Heidelberg (2007)"},{"issue":"3","key":"2_CR31","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1111\/j.1467-8640.2007.00311.x","volume":"23","author":"J. Mei","year":"2007","unstructured":"Mei, J., Lin, Z., Boley, H., Li, J., Bhavsar, V.C.: The Datalog DL Combination of Deduction Rules and Description Logics. Computational Intelligence\u00a023(3), 356\u2013372 (2007)","journal-title":"Computational Intelligence"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-540-72667-8_6","volume-title":"ESWC 2007","author":"S. Mu\u00f1oz","year":"2007","unstructured":"Mu\u00f1oz, S., P\u00e9rez, J., Guti\u00e9rrez, C.: Minimal Deductive Systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 53\u201367. Springer, Heidelberg (2007)"},{"key":"2_CR33","unstructured":"Paschke, A.: Rule-Based Service Level Agreements \u2013 Knowledge Representation for Automated e-Contract, SLA and Policy Management. IDEA Verlag GmbH, Munich, forthcoming (2007)"},{"key":"2_CR34","unstructured":"Paschke, A., Kozlenkov, A., Boley, H.: A Homogenous Reaction Rule Language for Complex Event Processing. In: EDA-PS 2007. Proc. 2nd International Workshop on Event Drive Architecture and Event Processing Systems, Vienna, Austria, September 2007 (2007)"},{"key":"2_CR35","first-page":"97","volume-title":"Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge","author":"R. Reiter","year":"1988","unstructured":"Reiter, R.: On Integrity Constraints. In: Vardi, M.Y. (ed.) Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 97\u2013111. Morgan Kaufmann, San Francisco (1988)"},{"key":"2_CR36","first-page":"3","volume-title":"RuleML","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: The Limits and Possibilities of Combining Description Logics and Datalog. In: Eiter, T., Franconi, E., Hodgson, R., Stephens, S. (eds.) RuleML, pp. 3\u20134. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"2_CR37","first-page":"189","volume-title":"Models and Human Reasoning \u2013 Eine Festschrift f\u00fcr Bernd Mahr","author":"K. Schild","year":"2005","unstructured":"Schild, K.: On the Model Theory of RDF. In: Bab und T. Noll, S. (ed.) Models and Human Reasoning \u2013 Eine Festschrift f\u00fcr Bernd Mahr, pp. 189\u2013206. Wissensch. & Technik Verlag, Berlin (2005)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Sintek, M., Decker, S.: TRIPLE \u2013 A Query, Inference, and Transformation Language for the Semantic Web. In: ISWC 2002. 1st International Semantic Web Conference, Sardinia, Italy (June 2002)","DOI":"10.1007\/3-540-48005-6_28"},{"key":"2_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"594","DOI":"10.1007\/978-3-540-72667-8_42","volume-title":"ESWC 2007","author":"M. Sintek","year":"2007","unstructured":"Sintek, M., van Elst, L., Scerri, S., Handschuh, S.: Distributed Knowledge Representation on the Social Semantic Desktop: Named Graphs, Views and Roles in NRL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 594\u2013608. Springer, Heidelberg (2007)"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"}],"container-title":["Lecture Notes in Computer Science","Advances in Rule Interchange and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75975-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:37:56Z","timestamp":1619505476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75975-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540759744"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75975-1_2","relation":{},"subject":[]}}