On the Decidability of Role Mappings Between Modular Ontologies Comment-1

From Tetherless World Wiki

Jump to: navigation, search
On the Decidability of Role Mappings Between Modular Ontologies Comment-1 [ Edit ]
About Page On_the_Decidability_of_Role_Mappings_Between_Modular_Ontologies
Title This paper is about how expressive role mapping could be in modular ontologies
Commented by User:Baojie
Date 2008/05/05 01:04:25 AM UTC
Topic:

Content:
Undecidability proof of several extension of DDL is made by the (standard) reduction to the domino tiling Problem. Decidability proof of P-DL is by a reduction to the DL ALBO. Future work includes nominals and number restrictions.

Facts about On the Decidability of Role Mappings Between Modular Ontologies Comment-1RDF feed
About On the Decidability of Role Mappings Between Modular Ontologies  +
Has abstract Undecidability proof of several extension of DDL is made by the   +
Has author Baojie  +
Has date 5 May 2008 01:04  +
Has title This paper is about how expressive role mapping could be in modular ontologies  +
Retrieved from "http://tw.rpi.edu/wiki/On_the_Decidability_of_Role_Mappings_Between_Modular_Ontologies_Comment-1"
Personal tools