Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Nonmonotonic logics: meaning and utility
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Reactivity on the web: paradigms and applications of the language XChange
Journal of Web Engineering
A flexible rule-based method for interlinking, integrating, and enriching user data
ICWE'10 Proceedings of the 10th international conference on Web engineering
Analyzing the AIR language: a semantic web (production) rule language
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Semantic annotations for modelling language interoperability
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Querying and reasoning with RDF(S)/OWL in XQuery
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
What's happening in semantic web: and what FCA could have to do with it
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
A proposal for transactions in the semantic web
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Defining the semantics of rule-based Web applications through model-driven development
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
R2RIF - rule integration plugin for protégé OWL
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
A semantic policy sharing and adaptation infrastructure for pervasive communities
Proceedings of the 21st international conference companion on World Wide Web
Data Mining and Knowledge Discovery
Functional descriptions as the bridge between hypermedia APIs and the Semantic Web
Proceedings of the Third International Workshop on RESTful Design
Interchanging lexical resources on the Semantic Web
Language Resources and Evaluation
Context Based Adaptation of Semantic Rules in Smart Buildings
Proceedings of International Conference on Information Integration and Web-based Applications & Services
| Hi-index | 0.01 |
The Rule Interchange Format (RIF) is an activity within the World Wide Web Consortium aimed at developing a Web standard for exchanging rules. The need for rule-based information processing on the Semantic Web has been felt ever since RDF was introduced in the late 90's. As ontology development picked up pace this decade and as the limitations of OWL became apparent, rules were firmly put back on the agenda. RIF is therefore a major opportunity for the introduction of rule based technologies into the main stream of knowledge representation and information processing on the Web. Despite its humble name, RIF is not just a format and is not primarily about syntax. It is an extensible framework for rule-based languages, called RIF dialects , which includes precise and formal specification of the syntax, semantics, and XML serialization. In this paper we will discuss the main principles behind RIF, introduce the RIF extensibility framework, and outline the Basic Logic Dialect--the only fully developed RIF dialect so far.