Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Structural and Probabilistic Knowledge for Abductive Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Towards the semantic web: knowledge representation in a dynamic, distributed environment
Towards the semantic web: knowledge representation in a dynamic, distributed environment
Ontology Cleaning by Mereotopological Reasoning
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Towards a practical argumentative reasoning with qualitative spatial databases
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning
IEEE Intelligent Systems
A formal foundation for knowledge integration of defficent information in the semantic web
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Extension of ontologies assisted by automated reasoning systems
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
| Hi-index | 0.00 |
A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the search of extensions by means of two automated reasoning systems (ARS), and it is driven by what we call cognitive entropy .