Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The cartographer algorithm for processing and querying description logics ontologies
AWIC'05 Proceedings of the Third international conference on Advances in Web Intelligence
Ontological Queries Supporting Decision Process in KaSeA System
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Hi-index | 0.00 |
The paper presents a new method for representation and processing ontological knowledge – Knowledge Cartography. This method allows for inferring implicit knowledge from both: terminological part (TBox) and assertional part (ABox) of a Description Logic ontology. The paper describes basics of the method and gives some theoretical background of the method. Knowledge Cartography stores and processes ontologies in terms of binary signatures, which gives efficient way of querying ontologies containing numerous individuals. Knowledge Cartography has been applied in KaSeA – a knowledge management system that is being developed in course of a European integrated research project called PIPS. Results of efficiency experiments and ideas of further development of the system are presented and discussed.