Transcript
![Page 1: OntologySummit2009: Toward Ontology-based Standards - A Synthesis](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56813d57550346895da719e4/html5/thumbnails/1.jpg)
OntologySummit2009: Toward Ontology-based Standards - A Synthesis
EADS inputs based on Inputs from research activities performed by EADS and LIRISPresented by Nicolas Figay, EADS IW - Parisa Ghodous LIRIS
![Page 2: OntologySummit2009: Toward Ontology-based Standards - A Synthesis](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56813d57550346895da719e4/html5/thumbnails/2.jpg)
2
Idea: STEP APs formalization in OWL
Including– ARM– AIM– ARM AIM mapping– UoF– Conformance Classes– Modules
For a semantic Repository– Useable with reasoning engines (e.g. with OWLSight)– Useable with SparQL engines (e.g. Virtuoso)
![Page 3: OntologySummit2009: Toward Ontology-based Standards - A Synthesis](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56813d57550346895da719e4/html5/thumbnails/3.jpg)
3
Example of AP233 PAS formalization with CC and UoF
![Page 4: OntologySummit2009: Toward Ontology-based Standards - A Synthesis](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56813d57550346895da719e4/html5/thumbnails/4.jpg)
4
Semantic RepositoryUsage of OWLSight reasoning engine with AP239 modules
![Page 5: OntologySummit2009: Toward Ontology-based Standards - A Synthesis](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56813d57550346895da719e4/html5/thumbnails/5.jpg)
5
Semantic RepositorySparQL querying with Virtuoso