Ontology:Process Specification Language (PSL)
From Odp
(Difference between revisions)
(New page: {{Ontology |Name=Process Specification Language (PSL) |OWLImplementation=http://www.psl.com |Description=stub |Justification=stub |SubmittedBy=MichaelUschold |CompetencyQuestion=stub |Doma...) |
|||
Line 1: | Line 1: | ||
{{Ontology | {{Ontology | ||
- | |Name=Process Specification Language (PSL) | + | |Name=Process Specification Language Core (PSL) |
- | | | + | |OntologyOrganization=NIST |
- | | | + | |OntologyAuthor=Michael Gruninger, Conrad Bock, Bob Young |
- | | | + | |Description=PSL-Core axiomatizes a set of intuitive semantic primitives that is adequate for describing the fundamental concepts of manufacturing processes. |
|SubmittedBy=MichaelUschold | |SubmittedBy=MichaelUschold | ||
- | |CompetencyQuestion= | + | |OntologyPurpose=software interoperability, decision support |
- | |Domain= | + | |OWLImplementation=http://www.mel.nist.gov/psl/psl-ontology/psl_core.html |
+ | |Justification=Formally rigorous. Heavy use of competency questions, both informal and formal. Deployed in industrial scenarios. Basis for highly modular set of ontologies. ISO 18629 | ||
+ | |CompetencyQuestion=Identify the set of activities that occurred before a particular timepoint., Are there any activities that have no occurrences?,Which timepoints did no activities occur at?, Which objects participated in a given activity occurrence at a specific timepoint. | ||
+ | |Domain=Business, Management, Manufacturing | ||
+ | |Scenario=Software exchanging process information between a planner and a scheduler | ||
+ | |KnownIssues=none | ||
+ | |OntologyLicensing=ISO Standard | ||
+ | |WebReference=http://www.mel.nist.gov/psl/ | ||
}} | }} |
Revision as of 20:50, 12 February 2010
Return to Catalogue of Exemplary Ontologies
Ontology Overview
Name: | Process Specification Language Core (PSL) |
---|---|
Description: | PSL-Core axiomatizes a set of intuitive semantic primitives that is adequate for describing the fundamental concepts of manufacturing processes. |
Purpose: | software interoperability, decision support |
Organization(s): | NIST |
Author(s): | Michael Gruninger, Conrad Bock, Bob Young |
Justification | Formally rigorous. Heavy use of competency questions, both informal and formal. Deployed in industrial scenarios. Basis for highly modular set of ontologies. ISO 18629 |
Recommended by: | |
Submitted by: | MichaelUschold |
Competency Questions: | Identify the set of activities that occurred before a particular timepoint., Are there any activities that have no occurrences?, Which timepoints did no activities occur at?, Which objects participated in a given activity occurrence at a specific timepoint. |
Domains: | |
Scenario: | Software exchanging process information between a planner and a scheduler |
Known issues: | none |
OntologyURI: |
(0) |
Licensing: | ISO Standard |
Web references: | http://www.mel.nist.gov/psl/ |
Other references: |