A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A combined approach to checking web ontologies
Proceedings of the 13th international conference on World Wide Web
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Rule Interchange Format: The Framework
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
A functional semantic web architecture
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Multi-level domain modeling with m-objects and m-relationships
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Semantic web architecture: stack or two towers?
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Hi-index | 0.00 |
Rules and Ontologies are two parts of the Semantic Web which considerably afford highly adaptable and generic approaches according to their interoperability and unified application. Within this paper we present a proposal and conceptualization of R2RIF, a rule integration plugin for Protégé OWL, aiming to combine ontologies and rules to build appropriate conceptual models for a domain of interest. Hence, this task comes up with several specific topics regarding transformation of different rule languages into one common interoperable W3C Rule-Interchange-Format (RIF), converting domain knowledge within ontologies into Horn Logic axioms and terms, and merging them with semantic compatible RIF rules. Subsumption reasoning and consistency checks of such ontology/rule models deliver expressive domain models. According to transformation and conversion tasks, R2RIF delivers generic algorithms and workflows to be adaptable for different ontology and rule languages.