Abstract

We introduce F-ALCI, a federated version of the description logic ALCI. An F-ALCI ontology, like its packagebased counterpart ALCIP, consists of multiple ALCI ontologies that can import concepts or roles defined in other modules. Unlike ALCIP, which supports only contextualized negation, F-ALCI, supports contextualization of each of the logical connectives, a feature that allows more flexible reuse of knowledge from independently developed ontologies. We provide a new semantics for F-ALCI based on image domain relations and establish the conditions that need to be imposed on domain relations to ensure properties, such as preservation of unsatisfiability and monotonicity of inference, that are desirable in distributed web applications. We also establish the decidability of F-ALCI.

Original languageEnglish (US)
Title of host publicationProceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008
Pages575-578
Number of pages4
DOIs
StatePublished - 2008
Event2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 - Sydney, NSW, Australia
Duration: Dec 9 2008Dec 12 2008

Publication series

NameProceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008

Other

Other2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008
Country/TerritoryAustralia
CitySydney, NSW
Period12/9/0812/12/08

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Computer Science Applications
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Federated ALCI: Preliminary report'. Together they form a unique fingerprint.

Cite this