Ontology:Process Specification Language (PSL) - Revision history

MichaelUschold at 22:49, 5 March 2010

2010-03-05T22:49:04Z

EnricoDaga at 16:29, 3 March 2010

2010-03-03T16:29:40Z

EnricoDaga: Text replace - 'OWLImplementation=' to 'OntologyURI='

2010-03-03T16:29:28Z

Text replace - 'OWLImplementation=' to 'OntologyURI='

MichaelUschold at 22:17, 13 February 2010

2010-02-13T22:17:01Z

MichaelUschold at 22:02, 12 February 2010

2010-02-12T22:02:50Z

MichaelUschold at 21:53, 12 February 2010

2010-02-12T21:53:26Z

MichaelUschold at 21:51, 12 February 2010

2010-02-12T21:51:38Z

MichaelUschold at 21:44, 12 February 2010

2010-02-12T21:44:06Z

MichaelUschold at 20:50, 12 February 2010

2010-02-12T20:50:41Z

MichaelUschold: New page: {{Ontology |Name=Process Specification Language (PSL) |OWLImplementation=http://www.psl.com |Description=stub |Justification=stub |SubmittedBy=MichaelUschold |CompetencyQuestion=stub |Doma...

2010-02-12T19:52:57Z

New page: {{Ontology |Name=Process Specification Language (PSL) |OWLImplementation=http://www.psl.com |Description=stub |Justification=stub |SubmittedBy=MichaelUschold |CompetencyQuestion=stub |Doma...

New page

{{Ontology
|Name=Process Specification Language (PSL)
|OWLImplementation=http://www.psl.com
|Description=stub
|Justification=stub
|SubmittedBy=MichaelUschold
|CompetencyQuestion=stub
|Domain=stub
}}

@@ Line 56: / Line 56: @@
 |KnownIssues=none
 |OntologyLicensing=ISO Standard
 }}
 {{My references}}

@@ Line 53: / Line 53: @@
 |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.
 |Scenario=Software exchanging process information between a planner and a scheduler
 |KnownIssues=none
@@ Line 60: / Line 59: @@
 |OtherReference=[http://stl.mie.utoronto.ca/publications/semantic_domain.pdf PSL: A semantic domain for flow models], [http://stl.mie.utoronto.ca/publications/psl-aimag.pdf  Process Specification Language: Principles and Applications], [http://stl.mie.utoronto.ca/publications/pslschedules.pdf  Process Specification Language for project scheduling information exchange]
 }}

@@ Line 6: / Line 6: @@
 |SubmittedBy=MichaelUschold
 |OntologyPurpose=software interoperability, decision support
-|OWLImplementation=http://www.mel.nist.gov/psl/psl-ontology/psl_core.html
+|OntologyURI=http://www.mel.nist.gov/psl/psl-ontology/psl_core.html
 |LongDescription=For many years, the [http://www.nist.gov/msid/ Manufacturing Systems Integration Division] (MSID) has been involved in the definition of a neutral representation of product data, most recently realized through the STEP standard. With that effort well underway, another candidate area for a division focus is the representation of manufacturing process. Like product data, process data is also used throughout the life cycle of a product, from early indications of manufacturing process flagged during design, through process planning, validation, production scheduling and control. In addition, the notion of process also underlies the entire manufacturing cycle, coordinating the workflow within engineering and shop floor manufacturing.

@@ Line 44: / Line 44: @@
 === Key Publications ===
-Bock, C. and GrÃ¼ninger, M. (2004) [http://stl.mie.utoronto.ca/publications/semantic_domain.pdf PSL: A semantic domain for flow models], '''Software and Systems Modeling'''.
+Bock, C. and Gruninger, M. (2004) [http://stl.mie.utoronto.ca/publications/semantic_domain.pdf PSL: A semantic domain for flow models], '''Software and Systems Modeling'''.
-GrÃ¼ninger, M. and Menzel, C. (2003)[http://stl.mie.utoronto.ca/publications/psl-aimag.pdf  Process Specification Language: Principles and Applications], '''AI Magazine''', 24:63-74.
+Gruninger, M. and Menzel, C. (2003)[http://stl.mie.utoronto.ca/publications/psl-aimag.pdf  Process Specification Language: Principles and Applications], '''AI Magazine''', 24:63-74.
-Cheng, J., GrÃ¼ninger, M., Sriram, R., and Law, K. (2003)[http://stl.mie.utoronto.ca/publications/pslschedules.pdf  Process Specification Language for project scheduling information exchange], '''International Journal of IT in Architecture, Engineering and Construction''', 1:307-328.
+Cheng, J., Gruninger, M., Sriram, R., and Law, K. (2003)[http://stl.mie.utoronto.ca/publications/pslschedules.pdf  Process Specification Language for project scheduling information exchange], '''International Journal of IT in Architecture, Engineering and Construction''', 1:307-328.
 |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.

@@ Line 58: / Line 58: @@
 |OntologyLicensing=ISO Standard
 |WebReference=http://www.mel.nist.gov/psl/,http://www.mel.nist.gov/psl/download.html
 }}

@@ Line 13: / Line 13: @@
 If you would like to learn more about PSL, including rationale and the need for its implementation, please [http://www.mel.nist.gov/psl/rationale.html click here].
-== PSL Ontology -- Current Theories and Extensions (version 2.8) ==
+=== PSL Ontology -- Current Theories and Extensions (version 2.8) ===
 The axioms of PSL are organized into PSL-Core and a set of extensions. PSL-Core is the set of axioms written in CLIF (the [http://www.nist.gov/cgi-bin/exit_nist.cgi?url=http://philebus.tamu.edu/cl/ Common Logic] Interchange Format) and using only the nonlogical lexicon of PSL-Core. The extensions form a lattice of extensions to PSL-Core.
@@ Line 43: / Line 43: @@
 ''Activity occurrences and objects are associated with unique timepoints that mark the begin and end of the occurrence or object. ''

@@ Line 1: / Line 1: @@
 {{Ontology
-|Name=Process Specification Language (PSL)
+|Name=Process Specification Language Core (PSL)
-|OWLImplementation=http://www.psl.com
+|OntologyOrganization=NIST
-|Description=stub
+|OntologyAuthor=Michael Gruninger, Conrad Bock, Bob Young
-|Justification=stub
+|Description=PSL-Core axiomatizes a set of intuitive semantic primitives that is adequate for describing the fundamental concepts of manufacturing processes.
 |SubmittedBy=MichaelUschold
-|CompetencyQuestion=stub
+|OntologyPurpose=software interoperability, decision support
-|Domain=stub
+|OWLImplementation=http://www.mel.nist.gov/psl/psl-ontology/psl_core.html
 }}