| Vol-969 urn:nbn:de:0074-969-2 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# AOW 2012
Advances in Ontologies

### Proceedings of the Eighth Australasian Ontology Workshop

### Sydney, Australia, December 4, 2012.

Edited by

### Aurona Gerber *
Kerry Taylor **
Tommie Meyer *
Mehmet Orgun ***

* Center for Artificial Intelligence Research (CAIR), Meraka CSIR and UKZN, South Africa
** CSIRO ICT Centre, Australia
*** Macquarie University, Australia

## Table of Contents

- Preface

- Defeasible Reasoning in ORM2 4-15
  Giovanni Casini, Alessandro Mosca
- OntoMerge: A System for Merging DL-Lite Ontologies 16-27
  Zhe Wang, Kewen Wang, Yifan Jin, Guilin Qi
- Lexichographic Closure for Defeasible Description Logics 28-39
  Giovanni Casini, Umberto Straccia
- A Normal Form for Hypergraph-based Module Extraction for SROIQ 40-51
  Riku Nortje, Arina Britz, Tommie Meyer
- Two Case Studies of Ontology Validation 52-63
  Doug Foxvog
- Non-Taxonomic Concept Addition to Ontologies 64-73
  Artemis Parvizi, Roman Belavkin,Christian Huyck
- Deep Semantics in the Geosciences: Semantic Building Blocks for a Complete Geoscience Infrastructure 74-85
  Brandon Whitehead, Mark Gahegan
- Assessing Procedural Knowledge in Open-ended Questions through Semantic Web Ontologies 86-97
  Eric Snow, Chadia Moghrabi, Philippe Fournier-Viger
- Using Formal Ontologies in the Development of Countermeasures for Military Aircraft 98-110
  Nelia Lombard, Aurona Gerber, Alta van der Merwe

- Full Proceedings with Page Numbers Aurona Gerber, Kerry Taylor, Tommie Meyer, Mehmet Orgun

14-Mar-2013: submitted by Aurona Gerber
14-Mar-2013: published on CEUR-WS.org