Related work

Publications on OWL-MET and its predecessors

  1. Keberle, N., Litvinenko, Y., Gordeyev, Y., Ermolayev, V.: Ontology Evolution Analysis with OWL-MeT. In: Flouris, G., d'Aquin, M. (Eds.):, Proc. Intl. Workshop on Ontology Dynamics (IWOD-2007) at ESWC-2007, June 7, Innsbruck, Austria. Slides© Keberle N., Litvinenko Y., Gordeyev Y., Ermolayev V.

  2. Keberle, N.: Metric Temporal Logics for Evolving Ontologies Analysis. In: Anisimov A.V. et al (Eds.):, Proc. 3rd Intl. Conf. on Theoretical and Applied Aspects of Program Systems Development, 5 - 8 Dec., Kyiv, Ukraine. Kyiv:KNU Press, pp. 199-202, 2006. © Keberle N.G.

  3. Keberle, N.G. Hybrid Propositional Metric Temporal Calculus. In: Proc. of the 4th Intl. Conf. on Mathematical and Software Means for Intelligent Systems, MSSAI2006, November 15-17, Dnepropetrovsk, Ukraine, 2006. - pp.54-55 © Keberle N.G.

  4. Keberle, N.G. Properties of Propositional Metric Temporal Calculus for Description of Evolving Conceptualization. In: Problems of Applied Mathematics and Mathematical Modelling, Dnepropetrovsk, DNU Press, 2006. - pp. 80-99 © Keberle N.G.

  5. Keberle, N.G. On the Decidability of Propositional Metric Temporal Calculus. In: Herald of Kharkiv Karazin National University, series "Mathematical Modelling. Information Technologies. Automated Management Systems", 2006, No.733, Issue 6, pp.149-159 © Kharkiv Karazin National Univ.,Ukraine

  6. Keberle, N.G. Properties of Propositional Metric Temporal Calculus for Description of Evolving Conceptualization. In: Proceedings of the 3rd International Conference on Mathematical and Software Means for Intelligent Systems, MSSAI2005, November 16-18, Dnepropetrovsk, Ukraine, 2005. - pp. 65-66 © Keberle N.G.

  7. Ermolayev V., Keberle, N., Matzke W.-E., Vladimirov, V. A Strategy for Automated Meaning Negotiation in Distributed Information Retrieval. In: Y. Gil, E. Motta, V.R.Benjamins, M.A. Musen (Eds.): Proceedings of the 4th International Semantic Web Conference, LNCS 3729, pp.201-215 ISWC2005, November 6-10, Galway, Ireland, 2005.© Springer-Verlag.

Publications influencing the development of OWL-MET

  1. Areces C., Blackburn P., Marx M.: A roadmap on the complexity of hybrid logics. In: Flum J. and Rodriguez-Artalejo M. (eds.): Computer Science Logic, LNCS 1683, pp. 307-321, Springer, 1999.

  2. Artale A., Franconi E.: Temporal Description Logics. In: Vila L. et al, van Beek P., Boddy M., Fisher M., Gabbay D., Galton A. and Morris R. (Eds.) Handbook of Time and Temporal Reasoning in Artificial Intelligence. Mit Press, 1999.

  3. Baader F., Calvanese D., McGuinness D., Nardi D. and Patel-Schneider P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003, 555 p.

  4. Blackburn P.: Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. In: Areces C., Franconi E., Goré R., de Rijke M. and Schlingloff H. (eds.) Special Issue of the Logic Journal of the IGPL. Vol 8:3, 339-625, 2000.

  5. Clifford J.E.: Tense and Tense Logic. Mouton Publishers. The Hague, The Netherlands, 1975.

  6. Chien S.-Y., Tsotras V., Zaniolo C.: Efficient Management of Multiversion Documents by Object Referencing. In Proc. of the 27th VLDB Conference, Roma, Italy, 2001.

  7. Guarino N.: Formal Ontology and Information Systems. In: Proc. of the 1th Intl.Conf. Formal Ontology in Information Systems (FOIS'1998), Trento, Italy, June 6–8, 1998, pp.3–15.

  8. Haase P., van Harmelen F., Huang Z., Stuckenschmidt H., Sure Y.: A Framework for Handling Inconsistency in Changing Ontologies. In: Proc. of the 4th International Semantic Web Conference (ISWC'2005), Galway, Ireland, November 6–10, 2005, pp. 353–367.

  9. Huang Z., Stuckenschmidt H.: Reasoning with Multi-version Ontologies: A Temporal Logic Approach.In: Proc. of the 4th International Semantic Web Conference (ISWC'2005), Galway, Ireland, November 6–10, 2005, pp. 398–412.

  10. Huang Z., Stuckenschmidt H.: Reasoning with Multi-version Ontologies. EU-IST Integrated Project (IP) IST-2003-506826 SEKT, Deliverable D3.5.1(WP3.5), 49 p.

  11. Klein M.C.A., Kiryakov A., Ognyanov D., Fensel D.: Finding and Characterizing Changes in Ontologies. In: Proc. of the Intl. Conf. on Conceptual Modeling (ER'2002), Tampere, Finland.

  12. Klein M.C.A.: Change Management for Distributed Ontologies. Ph.D. Thesis, Aug. 2004, ISBN 90-9018400-7.

  13. Klein M.C.A., Noy N.F.: A Component-Based Framework For Ontology Evolution. In: Proc. of the Workshop on Ontologies and Distributed Systemsm, IJCAI ’03, Acapulco,Mexico.

  14. Kutz O., Sturm H., Suzuki N.-Y., Wolter F. and M. Zakharyaschev: Logics of Metric Spaces. ACM Transactions on Computational Logic (TOCL), 2003, 260 – 294.

  15. Kutz O., Wolter F., Zakharyaschev M.: A Note on Concepts and Distances. Working Notes of the 2001 Intl. Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, pp.113 – 121.

  16. Noy N.F., Musen M.: PromptDIFF: A Fixed-Point Algorithm for Comparing Ontology Versions. In: Proc. of the 19th Nat. Conf. on Artificial Intelligence (AAAI'2002).

  17. Plessers P., De Troyer O.: Ontology Detection Using a Version Log. In: Proc. of the 4th International Semantic Web Conference (ISWC'2005), Galway, Ireland, November 6–10, 2005, pp.578–592.

  18. Prior A.N.: Past, Present and Future. Oxford University Press, Oxford, 1967.

  19. Prior A.N.: Stratified Metric Tense Logic. Theoria 33 (1967), p.28–38.

  20. Research Challenges and Perspectives of the Semantic Web. EC-US NSF Strategic Research Workshop, Sophia Antipolis, France, Oct.3-5, 2001.

  21. Stuckenschmidt H., Klein M.C.A.: Integrity and change in modular ontologies. In: Proc. of the Intl. Joint Conf. on Artificial Intelligence (IJCAI'2003), Acapulco, Mexico, 2003, pp. 900–905.

  22. Stojanovic L., Maedche A., Motik B., Stojanovic N.: User-driven ontology evolution management. In: Proc. of the 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW02), LNCS 2473, Siguenza, Spain, pp.285-300.