Workshops
Program at a Glance
Monday (Sep 22nd) |
|||||
Room: |
101 |
102 |
401 |
402 |
403 |
09:00-09:30 |
|
|
Onto.COM/ODISE Invited Talk |
LogOnto Invited Talk |
FOMI Invited Talk |
09:30-10:00 |
WoMO Invited Talk |
||||
10:00-11:00 |
Onto.COM/ODISE Technical
Session 1 |
LogOnto Technical
Session 1 |
FOMI Technical
Session 1 |
||
11:00-11:30 |
Coffee
Break |
||||
11:30-13:00 |
WoMO Technical Session
1 |
IAOW Tutorial |
Onto.COM/ODISE Technical
Session 2 |
LogOnto Technical
Session 2 |
FOMI Technical
Session 2 |
13:00-14:00 |
Lunch |
||||
14:00-15:30 |
WoMO Technical
Session 2 |
IAOW Invited Talk |
Onto.COM/ODISE Technical
Session 3 |
LogOnto Invited Talk |
FOMI Technical
Session 3 |
15:30-16:00 |
Coffee Break |
||||
16:00-17:00 |
WoMO Panel |
IAOW Technical
Session |
Onto.COM/ODISE Technical
Session 4 |
LogOnto Invited Talk |
|
17:00-17:30 |
|
Onto.COM/ODISE Closing
Session |
LogOnto Technical Session
3 & Closing |
||
17:30-18:00 |
|
Detailed programs may be
found in each workshop
page.
Main conference
Tuesday |
Wednesday |
Thursday |
|||
09:00-09:30 |
Opening Session |
||||
09:30-10:30 |
Keynote: Kit Fine |
Keynote: Nicholas Asher |
Keynote: Clarisse Sieckenius |
||
10:30-11:00 |
Coffee Break |
||||
11:00-12:30 |
|||||
12:30-14:00 |
Lunch |
||||
14:00-15:00 |
|||||
15:00-15:30 |
ECS |
||||
15:30-16:00 |
Coffee Break |
||||
16:00-16:30 |
Demos
and Posters |
||||
16:30-17:00 |
|||||
17:00-17:30 |
|||||
17:30-18:00 |
|||||
18:00-18:30 |
Opening Reception |
IAOA
Assembly |
Closing Session |
||
18:30-19:30 |
Keynote: Nicola Guarino |
IAOA
Assembly |
ECS
Lounge |
|
|
19:30-20:00 |
|||||
20:00-22:00 |
Cocktail |
Social
Dinner |
|||
22:00-22:30 |
|||||
Technical
Sessions
Technical Session 1: Foundations I (Chair: Riichiro Mizoguchi)
A Sideways Look at Upper Ontologies
Michael Gruninger, Torsten Hahmann, Megan Katsumi
and Carmen Chui
Logical Operators for Ontological Modeling
Stefano Borgo, Daniele Porello and Nicolas Troquard
Interdependence among material objects and voids
Torsten Hahmann, Boyan Brodaric and Michael Gruninger
Technical Session 2: Software Engineering (Chair:
Oscar Pastor)
An Ontological Analysis of the ISO/IEC 24744 Metamodel
Fabiano B. Ruy, Ricardo A. Falbo, Monalessa P. Barcellos and
Giancarlo Guizzardi
Towards an Ontology of Software: a Requirements
Engineering Perspective
Xiaowei Wang,
Nicola Guarino, Giancarlo Guizzardi
and John Mylopoulos
An Ontological Interpretation of Non-Functional
Requirements
Renata Guizzardi,
Feng-Lin Li, Alex Borgida,
Giancarlo Guizzardi, Jennifer Horkoff
and John Mylopoulos
Technical Session 3: Processes, Agency, and
Dispositions I (Chair: Stefano Borgo)
Mathematical Foundations for Participation
Ontologies (competition paper)
Carmen Chui and Michael Gruninger
A formal theory for conceptualizing artefacts and tool manipulations
Nicolas Troquard
An ontology for the Business Process Modelling Notation (competition paper)
Marco Rospocher, Chiara Ghidini and Luciano Serafini
Technical Session – Short Papers 1 (Chair: João Paulo Almeida)
Events and Activities: Is there an
Ontology behind BPMN?
Emilio Sanfilippo, Stefano Borgo and Claudio Masolo
States, Events, and Truth-makers
Claudio Masolo and Alessander Botti Benevides
Technical Session – Short Papers 2 (Chair: Fernanda
Baião)
An Ontology for the τ-theory of
Enterprise Engineering
Jan Dietz, David Aveiro, João Pombinho and Jan Hoogervorst
The unique Predication of Knowledge Elements and
their Visualization and Factorization in Ontology Engineering
Hermann Bense
Technical Session 4: Applications I (Chair: Barry
Smith)
ContoExam: an ontology on
context-aware examinations (competition paper)
Paul Brandt, Twan Basten and Sander Stuijk
Ontology-based Data Management for the Italian
Public Debt (competition paper)
Natalia Antonioli, Francesco
Castanò, Spartaco Coletta, Grossi Stefano, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi and Patrizia Castracane
An Ontological Analysis of Reference in Health
Record Statements
Stefan Schulz, Catalina Martínez
Costa, Daniel Karlsson, Ronald Cornet, Mathias Brochhausen and Alan Rector
Ontology Competition Technical Session (Chair:
Fabian Neuhaus)
The Cardiovascular Disease Ontology
A. Barton, A. Rosier, A. Burgun
and J.-F. Ethier.
KB Bio 101: Content and Challenges
V. Chaudhri, D. Elenius, S. Hinojoza, and M.
Wessel.
An ontology for personalized
environmental decision support
M. Rospocher.
Towards Ontological Support for Principle Solutions
for Mechanical Engineering
T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder and
S. Wartzack.
ECS – Early Career Symposium (Chair: Torsten Hahmann)
(works listed in alphabetical order)
Ontology Matching for Geospatial Domain
Ujwala Bharambe
Using ontology to mine and classify Li-Fraumeni Syndrome patients
Ricardo Budaruiche
OWL knowledge base debugging, based on formal
ontology principles and linguistic evidence
Julien Corman
Adaptive Approach for Information Integration
supported by Linked Open Data
Kelli Faria
Formalization of Image Schemas to aid Computational
Concept Invention
Maria Hedblom
Semantics Enabled Framework For
Spatial Image Information Mining
Kuldeep Kurte
OntoWarehousing
Joao Moreira
Semantic Web and Linked Data Applied to Brazilian
Economy Risk Management
Filipe Polizel
Ontology-based product modelling
Emilio M. Sanfilippo
Guiding the conceptual modelling
process with core ontologies
Michaël Verdonck
Technical Session 5: Methods and Tools (Chair: Vinay Chaudhri)
Aspect-Oriented Ontologies: Dynamic Modularization
Using Ontological Metamodeling
Ralph Schäfermeier and
Adrian Paschke
Applying the Realism-Based Ontology-Versioning
Method for Tracking Changes in the Basic Formal Ontology
Selja Seppälä,
Barry Smith and Werner Ceusters
Corpus Guided Sense Cluster Analysis: a methodology
for ontology development (with examples from the spatial domain)
Brandon Bennett and Claudia Cialone
Technical Session 6: Processes, Agency, and
Dispositions II (Chair: Stefan Schulz)
The Ontology of Group Agency
Daniele Porello, Emanuele Bottazzi and Roberta Ferrario
Newtonian Forces and Causation: A Dispositional
Account
Adrien Barton, Robert Rovetto and Riichiro Mizoguchi
Resilience as a Disposition
Desiree Daniel
Technical Session 7: Applications II (Chair:
Roberta Ferrario)
Conceptual Models of Energy Transfer and Regulation
Vinay Chaudhri,
Nikhil Dinesh and Stijn
Heymans
An Ontological Core for Conformance Checking in the Engineering Life-cycle
Andreas Jordan, Matt Selway,
Wolfgang Mayer, Georg Grossmann and Markus Stumptner
An Ontology-based Taxonomic Key for Afrotropical Bees
Aurona Gerber, Connal
Eardley and Nishal Morar
Technical Session 8: Foundations II (Chair: Michael
Gruninger)
Voids and material constitution across physical
granularities
Torsten Hahmann and Boyan Brodaric
Adding Convexity to Mereotopology
Marion Haemmerli and Achille Varzi
A First-order Formalization of Event, Object,
Process and Role in YAMATO
Stefano Borgo and Riichiro Mizoguchi
Technical Session – Short Papers 3 (Chair: Chris
Partridge)
Unit of Organizational Learning Ontology based on
LOM Standard and IMS Learning Design
Andre Menolli, H. Sofia
Pinto, Sheila Reinehr and Andreia
Malucelli
Crowdsourcing Ontology Content and Curation: The Massive Ontology Interface
Samuel Sarjant, Catherine
Legg, Matt Stannett and Duncan Willcock