Megan Katsumi

Automated Reasoning Support for Ontology Development

The design and evaluation of ontologies in first-order logic poses many challenges, many of which focus on the specification of the intended models for the ontology’s concepts and the relationship between these models and the models of the ontology’s axioms. In this paper we present a methodology for the verification of first-order logic ontologies, and provide a lifecycle in which it may be implemented to develop a correct ontology. Automated reasoning plays a critical role in the specification of requirements, design, and verification of the ontology. The application of automated reasoning in the lifecycle is illustrated by examples from the PSL Ontology.

Using PSL to Extend and Evaluate Event Ontologies

The representation of events plays a key role in a wide range of Semantic Web applications, and several ontologies have been proposed to support this task. However, a review of existing event ontologies on the web reveals limited reasoning being done in their applications. To investigate this, we designed a set of reasoning problems (competency questions) aimed at providing a pragmatic assessment of the reasoning capabilities of three well-known Semantic Web event ontologies – SEM, The Event Ontology, and LODE. Using OWL and SWRL axiomatizations of the Process Specification Language (PSL) Ontology, we specify maximal extensions of the existing event ontologies. We then evaluate the resulting set of OWL and SWRL ontologies against our reasoning problems, using the results to both assess the abilities of existing Semantic Web event ontologies, and to explore the potential gains that may be achieved through additional axioms.