Pellet-HeaRT - proposal of an architecture for ontology systems with rules

Authors:
Grzegorz J. Nalepa;Weronika T. Furmańska
Affiliations:
Institute of Automatics, AGH University of Science and Technology, Kraków, Poland;Institute of Automatics, AGH University of Science and Technology, Kraków, Poland
Venue:
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Year:
2010

Citing 8
Cited 2

Combining Horn rules and description logics in CARIN

Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics

Journal of Intelligent Information Systems
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Integrating description logics and action formalisms: first results

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
A Novel Architecture for Situation Awareness Systems

TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Putting abox updates into action

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Architecture of the HeaRT hybrid rule engine

ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
The HeKatE methodology. Hybrid engineering of intelligent systems

International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems

CLIPS-OWL: A framework for providing object-oriented extensional ontology queries in a production rule engine

Data & Knowledge Engineering
Using semantic data integration to create reliable rule-based systems with uncertainty

Engineering Applications of Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ongoing research on integration of rules and ontologies has resulted in multiple solutions, rule languages and systems. They differ in terms of aims and scope, semantics and architecture. The paper describes a proposal of a hybrid system combining a Description Logics reasoner with a forward-chaining rule engine. An integration of a dedicated tool for modularized rule bases, called HeaRT, and a widely-used DL reasoner Pellet, is sketched. An outline of main concepts and architecture of HeaRT-Pellet system is given, explained on an example case. The benefit of this solution is the ability to use a mature rule design, analysis and inference solution together with large fact bases from ontologies.