TY - GEN
T1 - Federated ALCI
T2 - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008
AU - Voutsadakis, George
AU - Slutzki, Giora
AU - Honavar, Vasant
AU - Bao, Jie
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=62949143292&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=62949143292&partnerID=8YFLogxK
U2 - 10.1109/WIIAT.2008.296
DO - 10.1109/WIIAT.2008.296
M3 - Conference contribution
AN - SCOPUS:62949143292
SN - 9780769534961
T3 - Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008
SP - 575
EP - 578
BT - Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008
Y2 - 9 December 2008 through 12 December 2008
ER -