Robert Hoehndorf
John Bateman: Ontological diversity: the case from space
relation between linguistic evidence and ontological organisation - Robert Hoehndorf
applications of spatial cognition: mobility support, spatial situation description, exploration, architecture - Robert Hoehndorf
problem: interoperability between different ontologies; doing ontologies does not lead to interoperability - Robert Hoehndorf
spatial calculi: RCC8, STAR, and many, many more - Robert Hoehndorf
foundational ontologies come with theory of space: BFO, DOLCE, GFO - Robert Hoehndorf
language = ontology (if you do it right) is one assumption about relation between language and world; critique by Varzi, 2007 - Robert Hoehndorf
different uses of "in", "on", etc. - Robert Hoehndorf
linguistic spatial position is dependent on purpose - Robert Hoehndorf
function influences spatial predicates in language - Robert Hoehndorf
Varzi: no straight analytic path from language to ontology - Robert Hoehndorf
but Varzi makes controversial assumption that finding about how the world is will tell us how language is treating that world - Robert Hoehndorf
interoperability cannot be achieved with a single upper level ontology - Robert Hoehndorf
perspectives influence classifications - Robert Hoehndorf
road: trip planning -> line; driving on it -> surface; hitting a pothole -> volume; three /different/ things, kinds of entities (Hobbs 1995, p820) - Robert Hoehndorf
approach: accept ontological diversity, inter-ontology mappings - Robert Hoehndorf
different modules for space, different axiom systems, plug in DOLCE - Robert Hoehndorf
CASL language, together with HeTS to create interoperability between ontology modules - Robert Hoehndorf
FOIS 2004, axiomatized DOLCE ontology using CASL - Robert Hoehndorf
DOLCE axiomatization: modularized axiom system, General Parthood, specialized to General Mereology, then specific mereology; parameterized using different sorts - Robert Hoehndorf
HeTS based on institution theory - Robert Hoehndorf
HeTS using heterogeneous specifications, including Haskell, OWL; seemless (????) interoperability with other specifications; combine OWL with FOL with HOL with Spatial Reasoning, use specialized reasoner for each module - Robert Hoehndorf
ontology support tools for modularization and structuring mechanisms - Robert Hoehndorf
ORATE similar to open ontology repository initiative - Robert Hoehndorf
ORATE plans in future: integration of HeTS behind the scenes, access reasoner, beyond OWL, flexible relations between modules, semantic versioning - Robert Hoehndorf
future: add common logic to interoperate with CASL - Robert Hoehndorf
use COLORE (repository of CL ontologies) by Michael Grueninger - Robert Hoehndorf
current state of HeTS: read OWL, read CL, translate OWL->CL, binding of CL to reasoners, almost: use Isabelle or Darwin - Robert Hoehndorf
Pat Cassidy: what is difference between Cyc modules and HeTS modules? Answer: logically better founded, include catalogue of relations between microtheories - Robert Hoehndorf