{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:21Z","timestamp":1725566121700},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159176"},{"type":"electronic","value":"9783642159183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15918-3_6","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T08:39:24Z","timestamp":1284539964000},"page":"58-72","source":"Crossref","is-referenced-by-count":16,"title":["Analyzing the AIR Language: A Semantic Web (Production) Rule Language"],"prefix":"10.1007","author":[{"given":"Ankesh","family":"Khandelwal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Bao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lalana","family":"Kagal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Jacobi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Hendler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1007\/978-3-540-39718-2_58","volume-title":"The Semantic Web - ISWC 2003","author":"J. Angele","year":"2003","unstructured":"Angele, J., Moench, E., Staab, S., Wenke, D.: Ontology-based query and answering in chemistry: Ontonova @ project halo. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 913\u2013928. Springer, Heidelberg (2003)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K.R.: Logic programming. In: Handbook of Theoretical Computer Science, Formal Models and Sematics, vol.\u00a0B (1990)","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-72982-2_19","volume-title":"Web Reasoning and Rule Systems","author":"N. Bassiliades","year":"2007","unstructured":"Bassiliades, N., Antoniou, G., Governatori, G.: Proof explanation in the dr-device system. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 249\u2013258. Springer, Heidelberg (2007)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Berners-lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3logic: A logical framework for the world wide web. Theory Pract. Log. Program.\u00a08(3) (2008)","DOI":"10.1017\/S1471068407003213"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. In: IEEE Conference on Computational Complexity (1997)","DOI":"10.1109\/CCC.1997.612304"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Forgy, C.: RETE: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019(1) (September 1982)","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Forgy, C.L.: OPS5 users manual. In: Technical Report CMU-CS-81-135, Department of Computer Science, Carnegie-Mellon University (1981)","DOI":"10.21236\/ADA106558"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Grosof, B.N.: SILK: Higher level rules with defaults and semantic scalability. In: Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems, RR 2009 (2009)","DOI":"10.1007\/978-3-642-05082-4_2"},{"key":"6_CR9","unstructured":"Grosof, B.N., Gandhe, M.D., Finin, T.W.: Sweetjess: Inferencing in situated courteous ruleml via translation to and from jess rules. In: Proceedings of the ISWC \u201902 International Workshop on Rule Markup Languages for Business Rules on the Semantic Web (2003)"},{"key":"6_CR10","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. Technical report, W3C (2004)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Kagal, L., Hanson, C., Weitzner, D.: Using dependency tracking to provide explanations for policy management. In: IEEE International Workshop on Policies for Distributed Systems and Networks (2008)","DOI":"10.1109\/POLICY.2008.51"},{"key":"6_CR12","unstructured":"Kagal, L., Jacobi, I., Khandelwal, A.: Gasping for AIR - why we need linked rules and justications on the semantic web. In: Under review at the International Semantic Web Conference, ISWC 2010 (2010)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Khandelwal, A., Bao, J., Kagal, L., Jacobi, I., Ding, L., Hendler, J.: Analyzing the AIR language: A semantic web rule language. Technical Report, Department of Computer Science, Rensselaer Polytechnic Institute (2010)","DOI":"10.1007\/978-3-642-15918-3_6"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-88737-9_1","volume-title":"Web Reasoning and Rule Systems","author":"M. Kifer","year":"2008","unstructured":"Kifer, M.: Rule interchange format: The framework. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 1\u201311. Springer, Heidelberg (2008)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: Openrulebench: an analysis of the performance of rule engines. In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009 (2009)","DOI":"10.1145\/1526709.1526790"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Polleres, A.: From SPARQL to rules (and back). In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007 (2007)","DOI":"10.1145\/1242572.1242679"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11762256_26","volume-title":"The Semantic Web: Research and Applications","author":"A. Polleres","year":"2006","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 332\u2013347. Springer, Heidelberg (2006)"},{"key":"6_CR18","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF. Technical report, W3C (2006)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programs. In: Foundations of Deductive Databases and Logic Programming (1988)","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Schenk, S., Staab, S.: Networked graphs: a declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the web. In: Proceeding of the 17th International Conference on World Wide Web, WWW 2008 (2008)","DOI":"10.1145\/1367497.1367577"},{"key":"6_CR21","unstructured":"Schor, M.I., Daly, T., Lee, H.S., Tibbitts, B.: Advances in RETE pattern matching. In: AAAI (1986)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15918-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:42:38Z","timestamp":1606167758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15918-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159176","9783642159183"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15918-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}