1. 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

2. Cool Technologies Developed
• Based on the industry use cases, we developed
interdisciplinary technologies:
– TwoUse: Transforming and Weaving Ontologies and UML in
Software Engineering
• Conceptual Integration of MDA and Ontologies
– TrOWL: Tractable Reasoning for OWL 2
• Scalable Ontology Reasoning Technology
– Reasoning Feature Modeller: Feature-based configurable
reasoning services
– TGraph2OWL/OWL2TGraph: Transformation between traceability
graph model and ontology
– MOST ToPF: Tool of Product Family
• Ontology-assisted guidance for model-based software engineering
2

3. Data and Ontologies Available
Device
Models
Process Requirement
Models Code Models
Models
Traceability Task
Models Type Ontology
Ontology
createProcess,
Guidance createActivity,
Core refineProcess,
refineActivitiy,
Ontology remodelProcess,
etc.:TaskType
Artefact Query
Ontology x,p,t<-
set
BPMN-Process p(x,_y),
ProcessA, ProcessB,
contains is_precondition_of(_y,_z),
ProcessC:BPMN-Process;
hasType(_z,t)
BPMN-Activity SelectApplicant,
Domain RejectApplicant:BPMN-
x,z<-
Activity; …
Ontology Is_precondition_of(x,y),
hasType(y,z)

4. What Can be Built On Top
• ODSD: Ontology-Driven Software Development
• Configurable large scale distributed reasoning
services
– Language expressivity
– Completeness/soundness
• Traceability and Guidance services for
management of other artifacts
– event/news/document

5. 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