Model checking
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Iuriservice: an intelligent frequently asked questions system to assist newly appointed judges
Law and the Semantic Web
IEEE Intelligent Systems
Understanding ontology evolution: A change detection approach
Web Semantics: Science, Services and Agents on the World Wide Web
Foundations and Trends in Web Science
Theory and Practice of Logic Programming
Ontology change: Classification and survey
The Knowledge Engineering Review
Dynamic Aspects of OPJK Legal Ontology
Computable Models of the Law
Ifcowl: A case of transforming express schemas into ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Dyna: A Tool for Dynamic Knowledge Modeling
Transactions on Computational Science V
A timing analysis model for ontology evolutions based on distributed environments
PAKDD'07 Proceedings of the 11th Pacific-Asia conference on Advances in knowledge discovery and data mining
Creating and using geospatial ontology time series in a semantic cultural heritage portal
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
What is concept drift and how to measure it?
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Biological names and taxonomies on the semantic web: managing the change in scientific conception
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Concept drift and how to identify it
Web Semantics: Science, Services and Agents on the World Wide Web
Optimising ontology stream reasoning with truth maintenance system
Proceedings of the 20th ACM international conference on Information and knowledge management
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A framework for ontology evolution in collaborative environments
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Changing ontology breaks queries
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
Applying semantic web technologies for diagnosing road traffic congestions
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Ontology evolution: assisting query migration
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Predicting knowledge in an ontology stream
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
In this paper we propose a framework for reasoning with multi-version ontology, in which a temporal logic is developed to serve as its semantic foundation. We show that the temporal logic approach can provide a solid semantic foundation which can support various requirements on multi-version ontology reasoning. We have implemented the prototype of MORE (Multi-version Ontology REasoner), which is based on the proposed framework. We have tested MORE with several realistic ontologies. In this paper, we also discuss the implementation issues and report the experiments with MORE.