Add or change TechReport: On the Decidability of Role Mappings Between Modular Ontologies

You have to log in to edit pages.

Free text: (leave latex or template data here)

{{TWTR |id=TW-2008-07 }} \begin{Bibtex} @INPROCEEDINGS{DBLP:conf/aaai/BaoVSH08, alias = {baojie-aaai2008}, author = {Jie Bao and George Voutsadakis and Giora Slutzki and Vasant Honavar}, title = {On the Decidability of Role Mappings Between Modular Ontologies}, booktitle = {AAAI'08}, pages = {400--405}, year = {2008}, crossref = {DBLP:conf/aaai/2008}, bibsource = {DBLP, http://dblp.uni-trier.de}, type= {Conference}, url = {http://www.cs.rpi.edu/~baojie/pub/2008-01-30_aaai_final.pdf}, abstract = {Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Logics (DDL), and Package-based Description Logics (P-DL), offer alternative logical formalisms that support such mappings using bridge rules between roles and importing of roles respectively. We prove that (a) variants of DDL that allow negated roles or cardinality restrictions in bridge rules or inverse bridge rules that connect ALC ontologies are undecidable; (b) A variant of P-DL ALCHIO(~)P that support role mappings between ontology modules in ALCHIO(~) (an extension of ALC that allows general role inclusions, inverse roles, nominals and negated roles) is decidable.}, topic = {Modular Ontology, Package-based Description Logics, Distributed Description Logics, Decidability}, } \end{Bibtex}

Summary:

This is a minor edit Watch this page

Cancel