Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 12

Position Papers of the 2017 Federated Conference on Computer Science and Information Systems

Concepts Ontology Algebras and Role Descriptions


DOI: http://dx.doi.org/10.15439/2017F554

Citation: Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 12, pages 2532 ()

Full text

Abstract. A heterogeneous computing model for ontology with preservation functions is presented for concept learning across domains with structural agent morphisms. A computing models based on a novel multi-agent competitive learning with multiplayer game tree plans are applied. Agents tree transformations for the models reach goal plans. Goals are satisfied based on competitive game tree learning. Agent tree computing models are example prototypes for modeling ontology algebras. Plan goals are satisfied based on competitive game tree learning. Novel Description algebras with concept description ontology algebras and description ontology preservation morphisms are presented. Cooperating agents, that have opened new avenues in modeling and implementing agent teams, are ingredients for specific application modeling. Applications to Formal Concept Description are developed with new description logic algebraic models.


  1. Nourani, C.F. 1996, Slalom Tree Computing – A Computing Theory For Artificial Intelligence, June 1994 (Revised December 1994), A.I. Communication Volume 9, Number 4, December 1996, IOS Press, Amsterdam.
  2. ADJ-Goguen, J.A., J.W. Thatcher, E.G. Wagner and J.B. Wright, A Junction Between Computer Science and Category Theory (parts I and II), IBM T.J. Watson Research Center, Yorktown Heights, N.Y . Research Report, 1975. 350.
  3. Nourani,C.F. 2009, A Descriptive Computing, Information Forum, Liepzig, Germany, March 2009. SIWN2009 Program, 2009. The Foresight Academy of Technology Press International Transactions on Systems Science and Applications, Vol. 5, No. 1, June 2009, pp. 60-69. M. Wooldridge and N.R. Jennings, Intelligent Agents. (1993) 51- 92.
  4. Koehler, J. 1986, Planning From Second Principles, AI 87.
  5. Nourani, C.F. 1991, Planning and Plausible Reasoning in Artificial Intelligence, Diagrams, Planning, and Reasoning, Proc. Scandinavian Conference on Artificial Intelligence, Denmark, May 1991, IOS Press.
  6. Brazier, F.M.T. Dunin-Keplicz, B., Jennings, N.R. and Treur, J. (1997) DESIRE: modelling multi-agent systems in a compositional formal framework, International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (Eds.), special issue on Formal Methods in Cooperative Information Systems, vol. 1. Knowledge-based Systems workshop, KAW'95, Calgary: SRDG Publications, Department of Computer Science.
  7. Nourani,C.F. 1995, Intelligent Languages - A Preliminary Syntactic Theory, May 15, 1995, Mathematical Foundations of Computer Science;1998, 23rd International Symposium, Brno, Czech Republic, August The satellite workshop on Grammar systems. Silesian University, Faculty of Philosophy and Sciences, Institute of Computer Science, Science;1450, Springer, 1998, ISBN 3-540- 64827-5, 846 pages.
  8. Nourani, C.F. 2005, A Haptic Computing Logic – Agent Planning, Models, and Virtual Trees, 286-311., Affective And Emotional Aspects Of Human-Computer Interaction: Game-Based and Innovative Learning Approaches, Edited by Maja PIVEC, IOS PRES, 2006, pp.317, ISBN1-58603-572-X.
  9. Nourani, C.F. and T. Hoppe 1994, “GF-Diagrams for Models and Free Proof Trees,” Proceedings the Berlin Logic Colloquium, Universitat Potsdam, Organized by Humboldt Universtitat Mathematics, Berlin. May 1994.
  10. Cyrus F. Nourani and Oliver Schulte, Multiagent Decision Trees, Competitive Models, and Goal Satisfiability. DICTAP, Ostrava, Czech Republic, July 2013.
  11. Genesereth, M.R. and N.J. Nilsson 1987, Logical Foundations ofArtificial Intelligence, Morgan-Kaufmann,1987.
  12. Nourani,C.F. 2005, Agent-based Structures, Agent Ontology Preservation and Enterprise Modeling Workshop on Ontologies in Agent Systems 5th International Conference on Autonomous Agents Montreal, Canada.
  13. U. Straccia, A fuzzy description logic, in: J. Mostow, C. Rich (Eds.), AAAI/IAAI, AAAI Press / The MIT Press, 1998, 594-599.
  14. Nourani. C.F. “Design with Software Agents, Parallel Module Coordination and Object Languages, February 3, 1997. TU Berlin, Fachbereich 13 - Informatik, Sekretariat FR5-13, Berlin, Germany.
  15. Nourani, C.F. “Abstract Implementation Techniques for A.I. By Computing Agents,: A Conceptual Overview,” Technical Report, March 3, 1993, Proceedings SERF-93, Orlando, Florida, November 1993. Published by the University of West Florida Software Engineering Research Forum, Melbourne, Florida.
  16. Gio Wiederhold: ``Interoperation, Mediation and Ontologies''; Proc.Int.Symp. on Fifth Generation Comp Systems, ICOT, Tokyo, Japan, V ol.W3, Dec.1994, pages 33-48.
  17. Eklund, P., Galán, M.A., Kortelainen, J., Ojeda-Aciego, M. (2014). Monadic formal concept analysis, RSCTC 2014, (Eds.C.Cornelis et al.), Lecture Notes in Artificial Intelligence 8536, 201-210. pp.473-484.
  18. Eklund, P., Galán, M.A., Gahler, W.: Partially ordered monads for monadic topologies, Kleene algebras and rough sets. Electronic Notes in Theoretical Computer Science 225(5), 67–81 (2009).
  19. Rao, A.S. and Georgeff, M.P. (1991). Modeling rational agents within a BID-architecture. In: R. Fikes and E. Sandewall (eds.), Proceedings of the Second Conference on Knowledge Representation and Reasoning, Morgan Kaufman.
  20. Sebastian Thrun - Artificial Intelligence, 1998 – Elsevier, Learning metric-topological maps for indoor mobile robot navigation Pittsburgh, PA 15213, USA Received June 1996; revised October 1997.
  21. RA Brooks, MJ Mataric 1993- Robot learning, 1993 – Springer
  22. Dunin-Keplicz, B. and Treur, J. (1995). Compositional formal specification of multi-agent systems. In: M. Wooldridge and N.R. Jennings, Intelligent Agents, Lecture Notes in Artificial Intelligence, Vol. 890, Springer Verlag, Berlin, pp. 102-117.
  23. Nilsson, N.J. 1969,"Searching, problem solving, and game-playing trees for minimal cost solutions." In A.J. Morell (Ed.) IFIP 1968 Vol.2, Amsterdam, North-Holland, 1556-1562, 1969.
  24. M. Schmidt-Schauß, G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48.
  25. Giancarlo Guizzardi , 2005, Ontological Foundations for Structural Conceptual Models. CTIT, UTwenty, The Netherlands, PhD Thesis Series, No. 05-74 Telematica Instituut No. 015 (TI/FRS/015).