A comparison of object-oriented languages in software engineering
ACM SIGSOFT Software Engineering Notes
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
An online incremental learning pattern-based reasoning system
Neural Networks
Conceptual model for semantic representation of industrial manufacturing processes
Computers in Industry
Formal approach and automated tool for constructing ontology from object-oriented database model
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Automatic fuzzy semantic web ontology learning from fuzzy object-oriented database model
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
A rule-based implementation of fuzzy tableau reasoning
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
SQOWL: type inference in an RDBMS
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Semantic web reasoners and languages
Artificial Intelligence Review
Data & Knowledge Engineering
COROR: a composable rule-entailment owl reasoner for resource-constrained devices
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Rule-based OWL reasoning for specific embedded devices
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
A multi-agent-based decision support system for bankruptcy contagion effects
Expert Systems with Applications: An International Journal
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Type inference methods and performance for data in an RDBMS
SWIM '12 Proceedings of the 4th International Workshop on Semantic Web Information Management
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
SWRL2COOL: object-oriented transformation of SWRL in the CLIPS production rule engine
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
CrimeSPOT: A language and runtime for developing active wireless sensor network applications
Science of Computer Programming
Construction of ontologies from object-oriented database models
Integrated Computer-Aided Engineering
Hi-index | 0.01 |
In this paper we describe O-DEVICE, a memory-based knowledge base system for reasoning and querying OWL ontologies by implementing RDF/OWL entailments in the form of production rules in order to apply the formal semantics of the language. Our approach is based on a transformation procedure of OWL ontologies into an Object-Oriented schema and the application of inference production rules over the generated objects in order to implement the various semantics of OWL. In order to enhance the performance of the system, we introduce a dynamic approach of generating production rules for ABOX reasoning and an incremental approach of loading ontologies. O-DEVICE is built over the CLIPS production rule system, using the object-oriented language COOL to model and handle ontology concepts and RDF resources. One of the contributions of our work is that we enable a well-known and efficient production rule system to handle OWL ontologies. We argue that although native OWL rule reasoners may process ontology information faster, they lack some of the key features that rule systems offer, such as the efficient manipulation of the information through complex rule programs. We present a comparison of our system with other OWL reasoners, showing that O-DEVICE can constitute a practical rule environment for ontology manipulation.