Knowledge-based reconfiguration of automation systems

Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007

Volumn , Issue , 2007, Pages 170-175

  Malec, Jacek ^a   Nilsson, Anders ^a   Nilsson, Klas ^a   Nowaczyk, Slawomir ^a  

^a LUND UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FORMAL LOGIC; KNOWLEDGE ACQUISITION; ONTOLOGY;

AUTOMATION SYSTEMS; DESCRIPTION LOGIC; GENERIC REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 44449090140     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2007.4341829     Document Type: Conference Paper

References (15)

1. W3C, "Semantic web," 2001, http://www.w3.org/2001/sw/.
2. M. Ghallab, D. Nau, and P. Traverso, Automated Planning, Theory and Practice. Morgan-Kaufman, 2004.
3. M. Musen et al., "The Protégé ontology editor and knowledge acquisition system," 2006, http://protege.stanford.edu.
4. V. Haarslev and R. Möller, "Racer: A core inference engine for the semantic web," Available at http://www.franz. com/products/racer/, 2002.
5. I. Horrocks, "FaCT and iFaCT," in Proc. Int. Workshop on Description Logics DL'99, P. Lambrix et al., Eds., 1999, pp. 133-135.
6. W3C, "Web ontology language (OWL)," 2004, http://www.w3.org/ 2004/OWL/.
7. T. Ekman and G. Hedin, "Rewritable Reference Attributed Grammars," in Proceedings of the 18th European Conference on Object-Oriented Computing (ECOOP) 2004, ser. LNCS, no. 3086, 2004.
8. D. Fensel, F. van Harmelen, I. Horrocks, D. McGuinness, and P. F. Patel-Schneider, "OIL: An ontology infrastructure for the semantic web," IEEE Intelligent Systems, vol. 16, no. 2, pp. 38-45, 2001.
9. R. J. Brachman and H. J. Levesque, Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, 2004.
10. B. J. Clement, E. H. Durfee, and A. C. Barrett, "Abstract reasoning for planning and coordination," Journal of Artificial Intelligence Research, vol. 28, pp. 453-515, 2007.
11. J. L. M. Lastra and I. M. Delamer, "Semantic web services in factory automation: Fundamental insights and research roadmap," IEEE Trans. Ind Informatics, vol. 2, pp. 1-11, 2006.
12. M. Grüninger and C. Menzel, "The Process Specification Language (PSL), theory and applications," AI Magazine, vol. 24, no. 3, pp. 63-74, 2003.
13. W. Binder, I. Constantinescu, B. Faltings, K. Haller, and C. Türker, "A multiagent system for the reliable execution of automatically composed ad-hoc processes," Autonomous Agents Multi-Agent Systems, vol. 12, pp. 219-237, 2006.
14. V. V. Vyatkin, J. H. Christensen, and J. L. M. Lastra, "OOONEIDA: An open, object-oriented knowledge economy for intelligent industrial automation," IEEE Trans. Ind. Informatics, vol. 1, pp. 4-16, 2005.
15. I. M. Delamer and J. L. M. Lastra, "Service-oriented architecture for distributed publish/subscribe middleware in electronics production," IEEE Trans. Ind. Informatics, vol. 2, pp. 281-294, 2006.