|
To view the examples below:
- With Protege 2.1 (preferred and stable): Project --> Build New Project --> OWL Files --> URL to the following OWL files and RDF-XML ABBRV --> Inspect the
individuals tab
- With Protege 3.1 (nice interface but erroneous): Create New Project --> Check "From existing resources" and choose OWL Files as project type --> URL to
the OWL files below --> OWL DL profile --> Properties view --> Finish --> Individuals tab
OWL-P Examples
- OWL-P upper ontology: Protocol.owl
- CrossFlow insurance claim processing example:
- Insuring protocol: Insuring.owl
- Receiving proocol: Receiving.owl
- Repair protocol: Repair.owl
- Handling protocol: Handling.owl
- Monitoring protocol: Monitoring.owl
- Insurance protocol composition profile (Insuring + Receiving + Repair + Handling + Monitoring):
- Insurance composite protocol after performing composition (automatic):
- Purchase composition example:
- Reminder context transformer example:
- Goods return, payment refund context transformer example:
- SPIN/Promela verification examples:
|
|