O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies

Abstract

Abstract. This paper reports on the implementation of a rule system, called O-DEVICE, for reasoning about OWL instances using deductive rules. O-DEVICE exploits the rule language of the CLIPS production rule system and transforms OWL ontologies into an object-oriented schema of COOL. During the transformation procedure, OWL classes are mapped to COOL classes, OWL properties to class slots and OWL instances to COOL objects. The purpose of this transformation is twofold: a) to exploit the advantages of the object-oriented representation and access all the properties of instances in one step, since properties are encapsulated inside resource objects; b) to be able to use a deductive object-oriented rule language for querying and creating maintainable views of OWL instances, which operates over the object-oriented schema of CLIPS, and c) to answer queries faster, since the implied relationships due to the rich OWL semantics have been pre-computed. The deductive rules are compiled into CLIPS production rules. The rich open-world semantics of OWL are partly handled by the incremental transformation procedure and partly by the rule compilation procedure.

A Rule-Based Object-Oriented OWL Reasoner

“…The work presented here is based on the experience gained by previous efforts [16], [17] to develop a rule reasoning system using static production rules. However, in a memory-based rule inference system like O-DEVICE, memory utilization is very important, and the efficiency depends mainly on the quantity and the quality of rules.…”

Using INMDB for the Semantic Web

“…Object-Oriented [51,52], Object-Relational [53,54] and Expert Systems [55,56,57]. Of these, the native-based and relational-backed approaches are the most common [17,19,58].…”

“…Native [28,29,30,31,32,33,34,35,36], Relational [28,37,38,39,40,41,42,43,44,45,46,47,48,49,50], Object-Oriented [51,52], Object-Relational [53,54] and Expert Systems [55,56,57]. Of these, native and relational-backed are the most common approach [17,19,58].…”

Σημασιολογική Ανακάλυψη Υπηρεσιών Ιστού Και Συλλογιστική Οντολογιών Με Συμπερασματικούς Κανόνες

“…Sto pèmpto keflaio proteÐnontai dÔo proseggÐseic gia th domhmènh sullogistik kai epexergasÐa ontologi¸n OWL me th qr sh antikeimenostref¸n susthmtwn kanìnwn, kje mÐa me diaforetikèc dunatìthtec kai pedÐa efarmog c. H pr¸th mejodologÐa basÐzetai sto omoiogenèc montèlo sunduasmoÔ ontologi¸n kai kanìnwn, metatrèpontac tic ontologÐec se èna eidik orismèno antikeimenostrefèc montèlo sto sÔsthma kanìnwn CLIPS, sto opoÐo efarmìzontai antikeimenostrefeÐc kanìnec sumperasmoÔ [Meditskos & Bassiliades 2008a] [Meditskos & Bassiliades 2006] [Meditskos & Bassiliades 2005]. To sÔsthma pou anaptÔqjhke, to opoÐo onomzetai O-DEVICE, epitrèpei th domhmènh diaqeÐrish twn ontologi¸n OWL, omadopoi¸ntac thn plhroforÐa se antikeÐmena kai klseic, kaj¸c epÐshc epitrèpei kai ton {autìmato} qeirismì kpoiwn shmasiologik¸n sqèsewn thc OWL, ìpwc sqèseic klshc/uperklshc, qrhsimopoi¸ntac tic arqèc thc antikeimenostrèfeiac.…”

“…H pr¸th prosèggish [Meditskos & Bassiliades 2008a] [Meditskos & Bassiliades 2005] [Meditskos & Bassiliades 2006, stoqeÔei sthn anptuxh enìc antikeimenostrefoÔc sust matoc sullogistik c, akolouj¸ntac th mejodologÐa thc prosarmog c twn sum-perasmatik¸n kanìnwn pou parousisthke sthn enìthta 4.2. To qarakthristikì aut c thc prosèggishc eÐnai ìti oi kanìnec ekteloÔntai se èna antikeimenostrefèc montèlo pou prokÔptei apì to metasqhmatismì twn ontologi¸n sth gl¸ssa COOL tou sust matoc kanìnwn paragwg c CLIPS.…”