Extending Datatype Support in Web Ontology Reasoning
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A Decidable Fuzzy Description Logic F-ALC(G)
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Combining OpenEHR Archetype Definitions with SWRL Rules --- A Translation Approach
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions
Uncertainty Reasoning for the Semantic Web I
Copyright Licenses Reasoning an OWL-DL Ontology
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
A semantic framework for language layering in WSML
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Enriching OWL with instance recognition semantics for automated semantic annotation
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Integrating and querying parallel leaf shape descriptions
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Representing and Reasoning About XML with Ontologies
Applied Intelligence
| Hi-index | 0.00 |
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users will not adopt OWL unless this limitation is overcome, and the W3C Semantic Web Best Practices and Development Working Group has set up a task force to address this issue. This paper makes the following two contributions: (i) it provides a brief summary of OWL-related datatype formalisms, and (ii) it provides a decidable extension of OWL DL, called OWL-Eu, that supports customised datatypes. A detailed proof of the decidability of OWL-Eu is presented.