LUPS---a language for updating logic programs
Artificial Intelligence
IEEE Intelligent Systems
User-Driven Ontology Evolution Management
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Conceptual Modeling for Distributed Ontology Environments
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
A Defeasible Ontology Language
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Managing multiple and distributed ontologies on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
Implementing prioritized logic programming
AI Communications
Towards generalized rule-based updates
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Handbook on Ontologies
A formal framework for ontology integration based on a default extension to DDL
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
CDADE: Conflict detector in activity diagram evolution based on speech act and ontology
Knowledge-Based Systems
| Hi-index | 0.00 |
With the continuous changes in application requirements of the enterprises, Web resources must be updated, so do the underlying ontologies that are associated with the Web resources. In the situation, it is very challenging for ontological engineers to specify the changes of ontologies, keep their consistencies and achieve semantic query of Web resources based on the evolving ontologies. We propose a construct called Prioritized Knowledge Base (PKB) based on SHOQ(D) description logic, and discuss some properties of PKB. PKB can be used for describing the evolutions and updates of ontologies with conflicting information. Furthermore, we develop some algorithms for checking conflict rules and performing semantic query based on PKB.