FOIS XI (2020 -> 2021) Postponed
Unfortunately, because of the Corona situation we had to postpone FOIS XI by one year. Thus, the conference will occur in September 13-16, 2021 in Bozen.
Here is what this means in practical terms:
– FOIS technical papers (main track): The paper submission for the FOIS XI main technical track is now closed and papers are in review. The accepted papers will be published and made available in open access in 2020. Authors of these papers may present their publications in September 2021, but this is optional.
– Early Career Symposium, Demo and Industry Track, Ontology Show and Tell: The submission to these tracks is closed for now and will be re-opened in Spring 2021.
Given the delay of FOIS XI, it was suggested to organise a second round of submissions for technical papers with a deadline in spring 2021. One challenge is that the proceedings of the first round of submissions will already have been published at that time. We are currently looking for a solution for that issue that will enable a high-quality publication of the second round of submissions.
Nicola Guarino, ISTC-CNR, Trento
Stefan Schulz, Medical University of Graz———————————–
The advent of complex information systems that rely on robust, coherent and formal representations of their subject matter, has led to the exploitation of ontological analysis and ontology-based representation. The systematic study of such analysis and representation is at the center of the modern discipline of formal ontology, which is a general theory of the types of entities and relations making up domains of interest.Researchers in many domains engage with formal ontology to provide a solid foundation for their work. Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, and the Semantic Web.The FOIS conference is a meeting point for all researchers with an interest in formal ontology. The conference encourages new high quality submissions on both theoretical issues and concrete applications. As in previous years, FOIS 2020 aims to be a nexus of interdisciplinary research and communication.FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA: http://iaoa.org/), which is a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology.
FOIS 2020 includes a number of activities:
* FOIS conference (single track program)
* a young researchers symposium
* a demo and industry track
* an ontology show and tell
TOPICS OF INTEREST
Areas of particular interest to FOIS include the following:
* Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts
* Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation
* Vagueness and granularity
* Space, time, and changeMethodological issues
* Top-level vs. domain-specific ontologies
* Role of reference ontologies
* Ontology similarity, integration and alignment
* Ontology modularity, contextuality, and evolution
* Formal comparison among ontologies
* Relationship with cognition, language, semantics, context
* Ontologies and Knowledge GraphsDomain-specific ontologies
* Ontology of physical reality (matter, space, time, motion etc.)
* Ontology of biological reality (organisms, genes, proteins, cells etc.)
* Ontology of mental reality and agency (beliefs, intentions, emotions, perceptions, cognition, etc.)
* Ontology of artifacts, functions, capacities and roles
* Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions etc.)Applications
* Ontology-driven information systems design
* Ontological foundations for conceptual modeling
* Knowledge management
* Qualitative modeling
* Computational linguistics
* Information retrieval
* Semantic Web
* Business modeling
* Ontologies and Machine Learning
* Ontologies and Explainable AI
* Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, geoscience, cognitive sciences, linguistics etc.)
* Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture etc.
* Ontologies for the humanities: arts, cultural studies, history, literature, philosophy, etc.
* Ontologies for the social sciences: economics, law, political science, anthropology, archeology, etc.
* Roberta Ferrario (ISTC CNR, Trento, Italy)
* Boyan Brodaric (Geological Survey of Canada, Canada)
* Fabian Neuhaus (Otto von Guericke University Magdeburg, Germany)
* Oliver Kutz (Free University of Bozen-Bolzano, Italy)
* Nicolas Troquard (Free University of Bozen-Bolzano, Italy)
* Guendalina Righetti (Free University of Bozen-Bolzano, Italy)
* Maria Hedblom (Free University of Bozen-Bolzano, Italy)
* Megan Katsumi (University of Toronto)
Workshop / Tutorial Chairs
* Torsten Hahmann (University of Maine)
* Claudio Masolo (ISTC CNR, Trento, Italy)
Ontology Show and Tell
* Michael Gruninger (University of Toronto)
* Frank Loebe (University of Leipzig)
Early Career Symposium
* Pawel Garbacz (John Paul II Catholic University of Lublin)
* Selja Seppala (University College Cork)
Demo and Industrial Track Chairs
* Robert Hoehndorf (King Abdullah University of Science and Technology)
* Amanda Vizedom (Credit Suisse)