Modular ontologies - A formal investigation of semantics and expressivity

Jie Bao, Doina Caragea, Vasant G. Honavar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations

Abstract

With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need for a common framework for comparing modular ontology language proposals on the basis of criteria such as their semantic soundness and expressive power. We introduce an Abstract Modular Ontology (AMO) language and offer precise definitions of semantic soundness such as localized semantics and exact reasoning, and expressivity requirements for modular ontology languages. We compare Distributed Description Logics (DDL), ε-connections, and Package-Based Description Logics (P-DL) with respect to these criteria. Our analysis suggests that by relaxing the strong domain disjointedness assumption adopted in DDL and ε-connection, as P-DL demonstrated, it is possible to overcome some known semantic difficulties and expressivity limitations of DDL and ε-Connections.

Original languageEnglish (US)
Title of host publicationThe Semantic Web - ASWC 2006 - First Asian Semantic Web Conference, Proceedings
PublisherSpringer Verlag
Pages616-631
Number of pages16
ISBN (Print)3540383298, 9783540383291
DOIs
StatePublished - 2006
Event1st Asian Semantic Web Conference, ASWC 2006 - Beijing, China
Duration: Sep 3 2006Sep 7 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4185 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other1st Asian Semantic Web Conference, ASWC 2006
CountryChina
CityBeijing
Period9/3/069/7/06

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Modular ontologies - A formal investigation of semantics and expressivity'. Together they form a unique fingerprint.

Cite this