Towards a formal language for knowledge representation in autonomic service-component ensembles

Proceedings - 3rd International Conference on Data Mining and Intelligent Information Technology Applications, ICMIA 2011

Volumn , Issue , 2011, Pages 228-235

  Vassev, Emil ^a   Hinchey, Mike ^a  

^a UNIVERSITY OF LIMERICK   (Ireland)

Author keywords

ASCENS; knowledge representation; reasoning

Indexed keywords

ASCENS; AUTONOMIC SYSTEMS; DESIGN PRINCIPLES; DEVELOPMENT ENVIRONMENT; DOMAIN ONTOLOGIES; FORMAL SPECIFICATION; KNOWLEDGE DOMAINS; KNOWLEDGE REPRESENTATION AND REASONING; LOGICAL FOUNDATIONS; LOGICAL FRAMEWORKS; PROCESS KNOWLEDGE; REASONING; SELF ADAPTATION; SERVICE COMPONENTS;

DATA MINING; FORMAL LANGUAGES; INFORMATION TECHNOLOGY; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; ONTOLOGY; SPECIFICATIONS;

KNOWLEDGE REPRESENTATION;

EID: 84855827159     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. P. Makhfi, MAKHFI - Methodic Applied Knowledge to Hyper Fictitious Intelligence, 2008, http://www.makhfi. com/.
2. ASCENS - Autonomic Service-Component Ensembles. 2010. http://www.ascens-ist.eu/.
3. V. Devedzic and D. Radovic, "A Framework for Building Intelligent Manufacturing Systems", IEEE Transactions on Systems, Man, and Cybernetics, Part C - Applications and Reviews, 29, 1999, pp. 422-439.
4. E. Vassev and M. Hinchey, "Knowledge Represen-tation and Awareness in Autonomic Service-Component Ensembles - State of the Art", in Proceedings of the 14th IEEE International Symposium on Object/Component/ Service-oriented Real-time Distributed Computing Workshops, IEEE Computer Society, 2011, pp. 110-119.
5. R. J. Brachman and H. J. Levesque, Knowledge representation and reasoning, Elsevier, San Francisco, 2004.
6. F. Baader and W. Nutt, "Basic Description Logics", in The Description Logic Handbook, F. Baader, D. Calvanese D. McGuinness, D. Nardi and P. Patel-Schneider (ed.), 2002.
7. A. Riazanov, Implementing an Efficient Theorem Prover, Ph.D. Dissertation, University of Manchester, 2003.
8. C. Weidenbach, Handbook of Automated Reasoning, Elsevier, Chapter SPASS: Combining superposition, Sorts and Splitting, 1999.
9. S. Schulz, "E - a brainiac theorem prover", Journal of AI Communications 15(2), 2002, pp. 111-126. (Pubitemid 34838659)
10. RacerPro 2.0, http://www.racer-systems.com.
11. Y. Guo, J. Heflin, and Z. Pan, "Benchmarking DAML+OIL repositories", in Proceedings of the Second Int. Semantic Web Conf. (ISWC 2003), 2870 in LNCS, Springer Verlag, 2003, pp. 613-627.
12. European Commission - CORDIS, Seventh Framework Program (FP7), http://cordis.europa.eu/fp7/home-en.html.
13. E. Vassev, M. Hinchey, B. Gaudin, and P. Nixon, "Requirements and Initial Model for KnowLang - A Language for Knowledge Representation in Autonomic Service-Component Ensembles", in Proceedings of the Fourth International C*Conference on Computer Science & Software Engineering (C3S2E 2011), ACM, 2011, pp. 35-42.
14. W. Swartout and A. Tate, "Ontologiess", IEEE Intelligent Systems, 14 (1999), 1999, pp. 18-19.
15. J. Y. Halpern, "An analysis of first-order logics of probability", Artificial Intelligence, 46, 1990, pp. 311-350.