An Approach to Dynamic Ontology Modification in Mediator Service-Oriented Information Systems 1

Abstract: The paper proposes the approach to cope with the maintenance of dynamically changing resource ontologies of autonomously maintained, distributed, heterogeneous, wrapped information resources and their mappings to common mediator IS ontology. The approach intends to do the work in economical way reducing efforts to matching and aligning only modified ontology elements. Proposed is ontology model comprising both descriptive part and the set of modification primitives for each ontology structural element. The set of ontology modification invariants and the corresponding set of modification conflicts resolution rules are formulated for taxonomies. The way to provide IS services for ontology changes monitoring, matching and alignment is outlined.

Evaluating PSI Ontologies by Mapping to the Common Sense

Abstract: The paper presents the results of mapping of PSI Ontologies family to the foundational ontologies: WordNet, SUMO and DOLCE. The two main outcomes of the presented research are: reported manual technique may be used as initial evaluation of ontology claiming to be gold standard for a new domain; and: usage of mentioned foundational ontologies for alignment of ontologies family of a given domain has shown differences between SUMO and DOLCE, two formal upper-level ontologies of common sense knowledge. The research reported was performed in the frame of our PSI project 1.

Ontology Evolution Analysis with OWL-MeT

Abstract. Works on ontology versioning pay special attention to the logical analysis of ontology evolution. The paper considers extensible declarative approach to ontology change description. Metric temporal description logic with metric temporal modalities “future n ” and “past n ” and hybrid satisfaction operator @ is proposed as the logical basis for declarative ontology evolution analysis. Underlying time structure assumed to be linear and discrete, which is acceptable for modeling of ontology versions sequence. Introduced is OWL-MeT – metric extension of the Web ontology language OWL, which is supported with a reasoning engine under development on the basis of Pellet reasoner.