Synonyms
Glossary
- Fact:
-
An type of a rule that has no premise
- Horn Rule:
-
A type of a rule whose conclusion is a predicate statement. The body of a Horn rule has no negated premises
- Production Rule:
-
A type of a rule whose head is an action, which inserts or deletes information
- Rule Body:
-
An alternative name for the premise of a rule
- Rule Head:
-
An alternative name for the conclusion of a rule
- Rule:
-
A statement that has a premise and a conclusion. It states that if the premise is true then so must be the conclusion
Definition
Rule languages and rule-based systems have been playing an important role in the information technology. The applications of rule systems include expert systems, decision-support, deductive databases, and business rules. Most people do not realize that even the ubiquitous database query language SQL is also rule-based. Although the basic idea of a rule is simple: it is just a statement with a premise...
This is a preview of subscription content, log in via an institution to check access.
References
Birbeck M, McCarron S (2008) CURIE Syntax 1.0: a syntax for expressing compact URIs, W3C working draft. Available at http://www.w3.org/TR/curie/
Boley H, Kifer M (2010a) RIF basic logic dialect. W3C recommendation 3 July, W3C. http://www.w3.org/TR/rif-bld/
Boley H, Kifer M (2010b) RIF framework for logic dialects. W3c recommendation, W3C. http://www.w3.org/TR/rif-fid/
de Sainte Marie C, Paschke A, Hallmark G (2010) RIF Production Rule Dialect. W3c recommendation, W3C. http://www.w3.org/TR/rif-prd/
Dean M, Schreiber G (2004) OWL Web ontology language reference. Recommendation 10 Feb 2004, W3C. http://www.w3.org/TR/owl-ref/
Duerst M, Suignard M (2005) Internationalized resource identifiers (IRIs). http://www.ietf.org/rfc/rfc3987.txt
Forgy C (1982) Rete: a fast algorithm for the many pattern/many object pattern match problem. Artif Intell 19:17–32
Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Logic programming: proceedings of the fifth conference and symposium. MIT Press, Cambridge, pp 1070–1080
Kifer M (2008) Rule interchange format: the framework. In: Calvanese D, Lausen G (eds) Proceedings of the second international conference (RR 2008) on web reasoning and rule systems, Karlsruhe, 31 Oct–1 Nov 2008. Lecture notes in Computer Science, vol 5341. Springer, Berlin, pp 1–11
Kifer M (2010) Knowledge representation and reasoning with the rule interchange format. In: Domingue J, Fensel D (eds) Handbook of semantic web technologies. Springer, Heidelberg/New York
Kifer M, Lausen G, Wu J (1995) Logical foundations of object-oriented and frame-based languages. J ACM 42:741–843
Klyne G, Carroll JJ (2004) Resource description framework (RDF): concepts and abstract syntax. Recommendation 10 Feb 2004, W3C. http://www.w3.org/TR/rdf-concepts/
Van Gelder A, Ross K, Schlipf J (1991) The well-founded semantics for general logic programs. J ACM 38(3):620–650. httpciteseer.ist.psu.edu/gelder91wellfounded.html
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2017 Springer Science+Business Media LLC
About this entry
Cite this entry
Kifer, M. (2017). RIF: The Rule Interchange Format. In: Alhajj, R., Rokne, J. (eds) Encyclopedia of Social Network Analysis and Mining. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-7163-9_118-1
Download citation
DOI: https://doi.org/10.1007/978-1-4614-7163-9_118-1
Received:
Accepted:
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-7163-9
Online ISBN: 978-1-4614-7163-9
eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering