Modular Ontologies - A Formal Investigation of Semantics and Expressivity.

Jie Bao Doina Caragea Vasant G. Honavar

Published in: ASWC (2006)

Keyphrases

modular ontologies
formal language
formal semantics
model theoretic
operational semantics
highly expressive
computational properties
logic programming
semantic information
case study
query processing
description logics
expressive power