Titlebook: Rule-Based Modeling and Computing on the Semantic Web; 5th International Sy Frank Olken,Monica Palmirani,Davide Sottara Conference proceedi

冷淡周邊

duplicate

Torrid

萬(wàn)神殿

Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rics. We propose an algorithm that is sound for every such combination but not complete. Our algorithm uses existing standard reasoning tools for retrieving facts from the DL Knowledge Base with which rules are put together to form a logic program. Rule reasoner is then used for answering queries in