Reasoning with Multi-version Ontologies: A Temporal Logic Approach
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 398-412
- https://doi.org/10.1007/11574620_30
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Framework for Handling Inconsistency in Changing OntologiesPublished by Springer Nature ,2005
- Law and the Semantic WebPublished by Springer Nature ,2005
- The PROMPT suite: interactive tools for ontology merging and mappingInternational Journal of Human-Computer Studies, 2003
- Hybrid languages and temporal logicLogic Journal of the IGPL, 1999
- Dynamic LogicPublished by Springer Nature ,1984