Combining Horn rules and description logics in CARIN
Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
A Rule-Based Object-Oriented OWL Reasoner
IEEE Transactions on Knowledge and Data Engineering
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Prolog Based Description Logic Reasoning
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Knowledge representation and consistency checking in a norm-parameterized fuzzy description logic
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information
IEEE Transactions on Knowledge and Data Engineering
Supporting open and closed world reasoning on the web
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Rules with contextually scoped negation
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A step toward tight integration of fuzzy ontological reasoning with forward rules
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Enhancing a production rule engine with predictive models using pmml
Proceedings of the 2011 workshop on Predictive markup language modeling
On ranking production rules for rule-based systems with uncertainty
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
Fuzzy conformance checking of observed behaviour with expectations
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Using semantic data integration to create reliable rule-based systems with uncertainty
Engineering Applications of Artificial Intelligence
A rule-based calculus and processing of complex events
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |
The integration of distinct reasoning styles such as the ones exploited by description logics and rule-based systems is still an open challenge because of the differences among them. Such integration may be achieved by following two complementary approaches: loose integration vs. tight integration. Loosely integrated hybrid systems couple existing tools, so they have to handle mutual interactions and keep their models aligned. Tightly-coupled hybrid systems, instead, are based on a unified model supporting both reasoning styles. In this paper we present a basic implementation of a fuzzy tableau algorithm for description logics by means of rules. It is a step towards tight integration because it requires only one rule engine while preserving the semantics of both reasoning styles. In particular, the adoption of a fuzzy tableau in a fuzzy rule engine allowed us to extend the expressiveness of the latter while handling description logics reasoning coherently.