A theory of diagnosis from first principles
Artificial Intelligence
Creating Semantic Web Contents with Protégé-2000
IEEE Intelligent Systems
WWW '05 Proceedings of the 14th international conference on World Wide Web
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Explaining Inconsistencies in OWL Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Paraconsistent Reasoning for OWL 2
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Repairing the Missing is-a Structure of Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Logical Ontology Validation Using an Automatic Theorem Prover
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A system for debugging missing is-a structure in networked ontologies
DILS'10 Proceedings of the 7th international conference on Data integration in the life sciences
Extending paraconsistent SROIQ
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Integrated metamodeling and diagnosis in OWL 2
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
ORE - a tool for repairing and enriching knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Using ontological contexts to assess the relevance of statements in ontology evolution
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Reasoning with noisy semantic data
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Debugging the missing is-a structure of networked ontologies
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Debugging is-a structure in networked taxonomies
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
Extracting justifications from bioportal ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
An argumentation framework for description logic ontology reasoning and management
Journal of Intelligent Information Systems
Test-driven evaluation of linked data quality
Proceedings of the 23rd international conference on World wide web
Hi-index | 0.00 |
One of the major challenges in managing networked and dynamic ontologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating multiple distributed ontologies. Our RaDON system provides functionalities to repair and diagnose ontology networks by extending the capabilities of existing reasoners. The system integrates several new debugging and repairing algorithms, such as a relevance-directed algorithm to meet the various needs of the users.