Papers /

Gruninger-FOIS 2010

Reading

Outdoors

Games

Hobbies

LEGO

Food

Code

Events

Nook

sidebar

Gruninger-FOIS 2010

Ontology Verification with Repositories

Gruninger, Hahmann, Hashemi, Ong

ontology model theory verification

@inproceedings{gruninger:fois-2010,
  title={Ontology Verification with Repositories},
  author={Michael Gr\"{u}ninger and Torsten Hahmann and
          Ali Hashemi and Darren Ong},
  booktitle={Formal Ontology in Information Systems},
  pages={317--330},
  year={2010},
  publisher={{IOS} Press}
}

Defines verification as proving the relationship between intended models of an ontology and those of its actual axiomatization

  • Want to show isomorphism between the two
  • Supports claims that inferences drawn from axioms follow how the software operates

"We can say that two software systems are semantically integrated if their sets of intended models are equivalent."

  • But systems can't exchange the models themselves

Three challenges:

  • "How can we identify and characterize the classes of structures that are isomorphic to the models of ontologies?"
  • "What is the weakest theory that is required to axiomatize the intended models of an ontology?"
  • "How can the design of new ontologies be driven by investigating the properties of the models of existing ontologies?"

Rooted around COLORE, Common Logic Ontology Repository

  • Common Logic ISO 24707
  • Ontologies/theories within repository constitute modules

Relationships between ontologies:

  • Conservative extension
  • Relative interpretability
  • Faithful interpretability

Ontology can be linked to core theory modules in repository to define intended models, verify

  • Construct network connecting needed core modules
Recent Changes (All) | Edit SideBar Page last modified on May 25, 2010, at 10:05 AM Edit Page | Page History