Date of Award
Doctor of Philosophy
The thesis deals with a family of federated description logics
for creating modular ontologies in the semantic web. All these
logics share modularity, the possibility to reuse concept names
and role names by importing, and context-sensitive interpretation
of all logical connectives. Apart from the main basic language
F-ALCI, we present a lattice-based extension LF-ALCI, a
probabilistic extension PF-ALCI and an extension that employs
knowledge operators F-ALCIK. All languages are based on the
ordinary well-known description logic ALCI.
Voutsadakis, George, "Federated description logics for the semantic web" (2010). Graduate Theses and Dissertations. 11463.