DOI | Trouver le DOI : https://doi.org/10.1007/978-3-642-21043-3_44 |
---|
Auteur | Rechercher : Song, Weihong1; Rechercher : Spencer, Bruce1; Rechercher : Du, Weichang |
---|
Affiliation | - Conseil national de recherches du Canada. Institut de technologie de l'information du CNRC
|
---|
Format | Texte, Chapitre de livre |
---|
Conférence | 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 |
---|
Sujet | classification; complex ontology; hybrid reasonings; resolution; tableau; artificial intelligence; computer vision; data description; intelligent robots; interfaces (computer); ontology |
---|
Résumé | 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. |
---|
Date de publication | 2011 |
---|
Maison d’édition | Springer Berlin Heidelberg |
---|
Dans | |
---|
Série | |
---|
Langue | anglais |
---|
Publications évaluées par des pairs | Oui |
---|
Numéro NPARC | 21271626 |
---|
Exporter la notice | Exporter en format RIS |
---|
Signaler une correction | Signaler une correction (s'ouvre dans un nouvel onglet) |
---|
Identificateur de l’enregistrement | 386271a4-e035-471c-9956-089e206521c9 |
---|
Enregistrement créé | 2014-03-24 |
---|
Enregistrement modifié | 2020-03-03 |
---|