SCIE '97 International Summer School on Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
Reasoning with Concrete Domains
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
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
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook
A Description Logic with Transitive and Converse Roles Role Hierarchies and Qualifying Number Restrictions
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the query refinement in the ontology-based searching for information
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
OWL-Eu: adding customised datatypes into OWL
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Ontology–Based representation and query colour descriptions from botanical documents
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
RDFS(FA): Connecting RDF(S) and OWL DL
IEEE Transactions on Knowledge and Data Engineering
A Decidable Fuzzy Description Logic F-ALC(G)
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
FRESG: A Kind of Fuzzy Description Logic Reasoner
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Semantic tracking in peer-to-peer topic maps management
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
Conceptual model for semantic representation of industrial manufacturing processes
Computers in Industry
Distributed data mining for e-business
Information Technology and Management
Hot topic detection in professional blogs
AMT'11 Proceedings of the 7th international conference on Active media technology
The extension-based inference algorithm for pD*
Data & Knowledge Engineering
Integrating and querying parallel leaf shape descriptions
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
Knowledge-based systems in the Semantic Web era can make use of the power of the Semantic Web languages and technologies, in particular those related to ontologies. Recent research has shown that user-defined data types are very useful for Semantic Web and ontology applications. The W3C Semantic Web Best Practices and Development Working Group has set up a task force to address this issue. Very recently, OWL-Eu and OWL-E, two decidable extensions of the W3C standard ontology language OWL DL, have been proposed to support customized data types and customized data type predicates, respectively. In this paper, we propose a flexible reasoning architecture for these two expressive Semantic Web ontology languages and describe our prototype implementation of the reasoning architecture, based on the well-known FaCT DL reasoner, which witnesses the two key flexibility features of our proposed architecture: 1) It allows users to define their own data types and data type predicates based on built-in ones and 2) new data type reasoners can be added into the architecture without having to change the concept reasoner.