Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The complex information systems which have evolved in recent decades rely on robust and coherent representations in order to function. Such representations and associated reasoning techniques constitute the modern discipline of formal ontology, which is now applied to fields such as artificial intelligence, computational linguistics, bioinformatics, GIS, conceptual modeling, knowledge engineering, information retrieval, and the semantic web. Ontologies are increasingly employed in a number of complex real-world application domains. For instance, in biology and medicine, more and more principle-based ontologies are being developed for the description of biological and biomedical phenomena. To be effective, such ontologies must work well together, and as they become more widely used, achieving coordinated development presents a significant challenge. This book presents collected articles from the 7th International Conference on Formal Ontologies (FOIS), held in Graz, Austria, in July 2012. FOIS is a forum which brings together representatives of all major communities involved in the development and application of ontologies to explore both theoretical issues and concrete applications in the field. The book is organized in eight sections, each of which deals with the ontological aspects of: bioinformatics; physical entities; artifacts and human resources; ontology evaluation; language and social relations; time and events; representation and the methodological aspects of ontological engineering.Providing a current overview of developments in formal ontology, this book will be of interest to all those whose work involves the application of ontologies, and to anybody wishing to keep abreast of advances in the field.

Artificial intelligence --- Ontology. --- Being --- Philosophy --- Metaphysics --- Necessity (Philosophy) --- Substance (Philosophy) --- Philosophy.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017. The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions. This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies. .

Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Computer software engineering --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Informatics --- Programming --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Languages, Artificial --- Engineering --- Coding theory --- Science --- Artificial Intelligence. --- Entity-relationship modeling --- EAR modeling --- Entity-attribute-relationship modeling --- ER modeling --- Information modeling

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in November 2019. The 34 papers promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools for developing and communicating conceptual models, techniques for transforming conceptual models into effective implementations, and the impact of conceptual modeling techniques on databases, business strategies and information systems. The following workshops are included in this volume: Workshop on Conceptual Modeling, Ontologies and Metadata Management for FAIR Data (FAIR), 6th Workshop on Conceptual Modeling in Requirements Engineering and Business Analysis (MREBA), 2nd International Workshop on Empirical Methods in Conceptual Modeling (EmpER), 8th International Workshop on Modeling and Management of Big Data (MoBiD19), and 7th International Workshop on Ontologies andConceptual Modelling (OntoCom).

Entity-relationship modeling --- EAR modeling --- Entity-attribute-relationship modeling --- ER modeling --- Information modeling --- Software engineering. --- Algorithms. --- Mathematical logic. --- Application software. --- Database management. --- Software Engineering. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computer Appl. in Administrative Data Processing. --- Database Management. --- Information Systems Applications (incl. Internet). --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Foundations

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 10th Enterprise Engineering Working Conference, EEWC 2020, which was planned to take place in Bozen-Bolzano, Italy, and had to change to an online event due to the COVID 19 pandemic. The online event took place on September 28, 2020, October 19, 2020, and November 9-10, 2020. EEWC aims at addressing the challenges that modern and complex enterprises are facing in a rapidly changing world. The participants of the working conference share a belief that dealing with these challenges requires rigorous and scientific solutions, focusing on the design and engineering of enterprises. The goal of EEWC is to stimulate interaction between the different stakeholders, scientists as well as practitioners, interested in making Enterprise Engineering a reality. The 8 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The volume also contains 3 keynote papers in full paper length. The papers were organized in topical sections as follows: formal approaches and modeling; the DEMO modeling language; and enterprise engineering practice.

Business policy --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- bedrijfseconomie --- applicatiebeheer --- apps --- informatica management --- architectuur (informatica)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- datamining --- applicatiebeheer --- apps --- computers --- database management --- software engineering --- AI (artificiële intelligentie) --- computerkunde --- architectuur (informatica) --- data acquisition