Axiomatized Relationships between Ontologies

Axiomatized Relationships between Ontologies

Show other versions (1)

This work focuses on the axiomatized relationships between different ontologies of varying levels of expressivity. Motivated by experiences in the decomposition of first-order logic ontologies, we partially decompose the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) into mod...

Full description

Bibliographic Details
Main Author: Chui, Carmen
Other Authors: Gruninger, Michael John
Language:en_ca
Published: 2013
Subjects:
ontology
ontologies
axiomatization
modularization
first-order logic
dolce
cimosa
psl
verification
ontology mapping
ontology decomposition
ontology composition
semantic augmentation
automated reasoning
0546
Online Access:http://hdl.handle.net/1807/42747

Internet

http://hdl.handle.net/1807/42747

Similar Items