WSMO Meeting Protocol, 29-Jul-17
WSMO minutes, 29-Jul-17
“Meeting Protocol”
1
WSMO Meeting Protocol, 29-Jul-17
WSMO Elements:
Goals:
 Preconditions: Logic
 Postconditions: Logic
 Non-Functional properties: Set of Tuples
 Imported ontologies: Ontology
 Assumptions: Logic
 Effects: Logic
 Name: Identity
Ontology:
 Name: Identity
 Non-functional properties: Set of Tuples
 Imported ontologies
 Concepts: Concept definition
 Relations: Relation definition
 Axioms
Mediators:
 Type: Data, Process, Protocol
 Name: Identity
 Imported mediators: Mediator
 Source component: Component
 Destination component: Component
 Translator (Mapping functions)
 Assumptions
 Non-functional properties: Set of Tuples
F-Logic:
 Standard Model+Theory
 Full 1st order logic
 2nd order feeling while staying in 1st order logic
 Minimal model semantics
 Implemented inference engines
Next meeting: February 10th
2