MOST (Newsfromthefront 2010)

MOST: Marrying Ontology and Software Technology ESWC 2010 News from the Front, 2010 Jeff Z. Pan, Yuting Zhao University of Aberdeen, UK Steffen Staab University of Koblenz-Landau, Germany On behalf of the MOST Consortium BOC, COMARCH SAP TUD UNIABDN UoKL

MOST Cool Things • Go back and forth between UML and OWL: TwoUse – Intuitive understanding by software developers – Expressive reasoning about UML stuff • Reason as fast as possible: TrOWL – Not one fits all, but different racing suits for swimming, running and flying – Efficient explanation service • Provenance in software development: TGraph2OWL /OWL2TGraph – Traceability • Guiding the software developer by reasoning: MOST ToPF

Data and Ontologies Available Device Models Process Requirement Models Code Models Models Traceability Task Models Ontology Guidance Type Core Ontology Ontology Domain Ontology Artefact Query Ontology set

Who Should Use the Tools? • Everyone who cares about models – Consistency check your model (refinements/extensions…) – New ideas for verifying models? • Everyone who develops software from models – Growing set of metamodels and increasing set of model transformations – Contribute yours! • Everyone who wants task-optimised reasoning and explanations – Best state-of-art for given reasoning task – Add your reasoner! TwoUse http://code.google.com/p/twouse/ TrOWL http://trowl.eu/

MOST Contact Jeff Z. Pan http://www.csd.abdn.ac.uk/~jpan/ More on MOST at ESWC: TrOWL demo SE Case Studies Ontology Reasoning Techniques System /Demo Services Ontology-assisted process Query Answering • Conjunctive query answering for EL+ TrOWL(EL) / guidance TrOWL Demo Process refinement TBox Reasoning; • Soundness guaranteed TBox reasoning; TrOWL(EL) / checking Justification • Soundness guaranteed approximation based justification TrOWL Demo Physical device TBox Reasoning; •Soundness guaranteed TBox and ABox reasoning; TrOWL(EL) / configuration ABox Reasoning; • Soundness guaranteed approximation based justification TrOWL Demo Justification Requirement analysis Query Answering (with •Conjunctive query answering with NAF TrOWL(QL) / NAF); •Conjunctive query answering based on semantic approximations TrOWL Demo Justification • Soundness guaranteed approximation based justification 5

MOST (Newsfromthefront 2010)

by STI International on May 30, 2010

Accessibility

Categories

Tags

Upload Details

Usage Rights

1 Embed 55

Statistics

MOST (Newsfromthefront 2010) — Presentation Transcript