QUANTIFIED ONTOLOGIES FOR REAL LIFE APPLICATIONS

Lucia Vacariu, George Fodor, Gheorghe Lazea, Octavian Cret

Abstract

Industrial applications are using run-time symbolic approaches only when formal methods can assign useful meaning to symbols by computationally inexpensive algorithms. However, most reasoning methods are either computationally prohibitive or may compute indefinitely; thus such methods have limited use in industrial applications. In many practical situations, the uncertain environment in which an “intelligent” control system acts consists of the symbolic space of some other “intelligent” control system, both networked in the same name space. The result of such interaction is to establish relations between heterogeneous vocabularies and reasoning agents, and between symbols and the physical environment in which the connected systems act. This paper introduces and motivates the necessity for on-line quantification of the degree to which symbols in a system have their intended meaning.

References

  1. Furst, F., 2008. Ontology Matching with Axioms and Conceptual Graphs. In IEEE Intelligent Systems. Vol. 23, No. 6, pp. 73-75.
  2. Grantner, J.L., and Fodor, G.A., 2002. Fuzzy Automaton for Intelligent Hybrid Control Systems. In Proceedings of the 5-th Hybrid Systems Symposium. 2002, Stanford, USA.
  3. Thamboulidis, K.C., Koumoutsos, G.V., and Doukas, G.S., 2007. Semantic Web Services in the Development of Distributed Control and Automation Systems. In Proceedings of the IEEE International Conference on Robotics and Automation. April 10-14, 2007, Roma, Italy.
  4. Tomaiuolo, M., Turci, P., Bergenti, F., Poggi, A., 2005. A Two-Level Approach for Ontology Management in Multi-Agent Systems. In WETICE 2005, Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise. June 13-15, 2005, pp. 21-26.
  5. Zimmermann, A., Krötzsch, M., Euzenat, J., and Hitzler, P., 2006. Formalizing ontology alignment and its operations with category theory. In FOIS 2006, Proceedings of the International Conference on Formal Ontology in Information Systems. November 9-11, 2006, Baltimore, Maryland, USA.
Download


Paper Citation


in Harvard Style

Vacariu L., Fodor G., Lazea G. and Cret O. (2009). QUANTIFIED ONTOLOGIES FOR REAL LIFE APPLICATIONS . In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-674-000-9, pages 383-386. DOI: 10.5220/0002176103830386


in Bibtex Style

@conference{icinco09,
author={Lucia Vacariu and George Fodor and Gheorghe Lazea and Octavian Cret},
title={QUANTIFIED ONTOLOGIES FOR REAL LIFE APPLICATIONS },
booktitle={Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2009},
pages={383-386},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002176103830386},
isbn={978-989-674-000-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - QUANTIFIED ONTOLOGIES FOR REAL LIFE APPLICATIONS
SN - 978-989-674-000-9
AU - Vacariu L.
AU - Fodor G.
AU - Lazea G.
AU - Cret O.
PY - 2009
SP - 383
EP - 386
DO - 10.5220/0002176103830386