Abstract
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped contextualized reasoning, and explanation of inferred facts. Each AIR rule has unique identifier (typically an HTTP URI) that supports reuse of rule. In this paper we analyze the semantics of AIR language by: i) giving the declarative semantics that support the reasoning algorithm, ii) providing complexity of AIR inference; and iii) evaluating the expressiveness of language by encoding Logic Programs of different expressivities in AIR.
This work was supported in part by NSF Cybertrust award CNS-0831442, IARPA award FA8750-07-2-0031, AFOSR award FA9550-09-1-0152, and support to RPI from the Information Technology Alliance in Network and Information Science by U.S. ARL and the U.K. MoD under Agreement Number W911NF-06-3-0001.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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. 2870, pp. 913–928. Springer, Heidelberg (2003)
Apt, K.R.: Logic programming. In: Handbook of Theoretical Computer Science, Formal Models and Sematics, vol. B (1990)
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. 4524, pp. 249–258. Springer, Heidelberg (2007)
Berners-lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3logic: A logical framework for the world wide web. Theory Pract. Log. Program. 8(3) (2008)
Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. In: IEEE Conference on Computational Complexity (1997)
Forgy, C.: RETE: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19(1) (September 1982)
Forgy, C.L.: OPS5 users manual. In: Technical Report CMU-CS-81-135, Department of Computer Science, Carnegie-Mellon University (1981)
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)
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 ’02 International Workshop on Rule Markup Languages for Business Rules on the Semantic Web (2003)
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)
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)
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)
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)
Kifer, M.: Rule interchange format: The framework. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 1–11. Springer, Heidelberg (2008)
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)
Polleres, A.: From SPARQL to rules (and back). In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007 (2007)
Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 332–347. Springer, Heidelberg (2006)
Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF. Technical report, W3C (2006)
Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programs. In: Foundations of Deductive Databases and Logic Programming (1988)
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)
Schor, M.I., Daly, T., Lee, H.S., Tibbitts, B.: Advances in RETE pattern matching. In: AAAI (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khandelwal, A., Bao, J., Kagal, L., Jacobi, I., Ding, L., Hendler, J. (2010). Analyzing the AIR Language: A Semantic Web (Production) Rule Language. In: Hitzler, P., Lukasiewicz, T. (eds) Web Reasoning and Rule Systems. RR 2010. Lecture Notes in Computer Science, vol 6333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15918-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-15918-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15917-6
Online ISBN: 978-3-642-15918-3
eBook Packages: Computer ScienceComputer Science (R0)