DOI | Resolve DOI: https://doi.org/10.1007/978-3-642-21043-3_44 |
---|
Author | Search for: Song, Weihong1; Search for: Spencer, Bruce1; Search for: Du, Weichang |
---|
Affiliation | - National Research Council of Canada. NRC Institute for Information Technology
|
---|
Format | Text, Book Chapter |
---|
Conference | 24th Canadian Conference on Artificial Intelligence (Canadian AI 2011), Collocated with the 37th Graphics Interface Conference (GI 2011) and the 8th Canadian Conference on Computer and Robot Vision (CRV 2011), May 25-27, 2011, St. John's, NL, Canada |
---|
Subject | classification; complex ontology; hybrid reasonings; resolution; tableau; artificial intelligence; computer vision; data description; intelligent robots; interfaces (computer); ontology |
---|
Abstract | Ontology classification is an essential reasoning task for ontology based systems. Tableau and resolution are two dominant types of reasoning procedures for ontology reasoning. Complex ontologies are often built on more expressive description logics and are usually highly cyclic. When reasoning complex ontologies, the both approaches may have difficulties in terms of reasoning results and performance, but for different ontology types. In this research, we investigate a hybrid reasoning approach, which will employ well-defined strategies to decompose and modify a complex ontology into subsets of ontologies based on capabilities of different reasoners, process the subsets with suitable individual reasoners, and combine such individual classification results into the overall classification result. The objective of our approach is to detect more subsumption relationships than individual reasoners for complex ontologies, and improve overall reasoning performance. © 2011 Springer-Verlag. |
---|
Publication date | 2011 |
---|
Publisher | Springer Berlin Heidelberg |
---|
In | |
---|
Series | |
---|
Language | English |
---|
Peer reviewed | Yes |
---|
NPARC number | 21271626 |
---|
Export citation | Export as RIS |
---|
Report a correction | Report a correction (opens in a new tab) |
---|
Record identifier | 386271a4-e035-471c-9956-089e206521c9 |
---|
Record created | 2014-03-24 |
---|
Record modified | 2020-03-03 |
---|