Skip to main content

2009 | OriginalPaper | Buchkapitel

Using the PSL Ontology

verfasst von : Michael Grüninger

Erschienen in: Handbook on Ontologies

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Excerpt

Representing activities and the constraints on their occurrences is an integral aspect of commonsense reasoning, particularly in manufacturing, enterprise modelling, and autonomous agents or robots. In addition to the traditional concerns of knowledge representation and reasoning, the need to integrate software applications in these areas has become increasingly important. However, interoperability is hindered because the applications use different terminology and representations of the domain. These problems arise most acutely for systems that must manage the heterogeneity inherent in various domains and integrate models of different domains into coherent frameworks. For example, such integration occurs in business process reengineering, where enterprise models integrate processes, organizations, goals and customers. Even when applications use the same terminology, they often associate different semantics with the terms. This clash over the meaning of the terms prevents the seamless exchange of information among the applications. translators between every pair of applications that must cooperate. What is needed is some way of explicitly specifying the terminology of the applications in an unambiguous fashion. …

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
PSL has been published as the International Standard ISO 18629 by the International Organisation of Standardisation.
 
2
The complete set of axioms for the PSL Ontology can be found at http://​www.​mel.​nist.​gov/​psl/​psl-ontology/​. Core theories are indicated by a.th suffix and definitional extensions are indicated by a.def suffix.
All axioms and definitions in the PSL Ontology are written in CLIF (Common Logic Interchange Format).
 
3
This terminology is used in [2]. The treatment of objects as continuants is also known as endurantism or 3D-ontology, while the treatment of objects as occurrents is also known as perdurantism or 4D-ontology.
 
Literatur
1.
Zurück zum Zitat Grenon, P. and Smith, B. (2004) SNAP and SPAN: Towards dynamic spatial ontology. Spatial Cognition and Computation, 4(1):69-104, 2004.CrossRef Grenon, P. and Smith, B. (2004) SNAP and SPAN: Towards dynamic spatial ontology. Spatial Cognition and Computation, 4(1):69-104, 2004.CrossRef
2.
Zurück zum Zitat Gruninger, M. (2003) Applications of PSL to Semantic Web Services, Workshop on Semantic Web and Databases. Very Large Databases Conference, Berlin. Gruninger, M. (2003) Applications of PSL to Semantic Web Services, Workshop on Semantic Web and Databases. Very Large Databases Conference, Berlin.
3.
Zurück zum Zitat Gruninger, M. and Kopena, J. (2004) Semantic Integration through Invariants, AI Magazine, 26:11-20, 2004. Gruninger, M. and Kopena, J. (2004) Semantic Integration through Invariants, AI Magazine, 26:11-20, 2004.
4.
Zurück zum Zitat Hayes, P. (1996) A Catalog of Temporal Theories. Artificial Intelligence Technical Report UIUC-BI-AI-96-01, University of Illinois at Urbana-Champaign. Hayes, P. (1996) A Catalog of Temporal Theories. Artificial Intelligence Technical Report UIUC-BI-AI-96-01, University of Illinois at Urbana-Champaign.
5.
Zurück zum Zitat McIlraith, S., Son, T.C. and Zeng, H. (2001) Semantic Web Services, IEEE Intelligent Systems, Special Issue on the Semantic Web. 16:46–53, March/April, 2001. McIlraith, S., Son, T.C. and Zeng, H. (2001) Semantic Web Services, IEEE Intelligent Systems, Special Issue on the Semantic Web. 16:46–53, March/April, 2001.
6.
Zurück zum Zitat Menzel, C. and Gruninger, M. (2001) A formal foundation for process modeling, Second International Conference on Formal Ontologies in Information Systems, Welty and Smith (eds), 256-269. Menzel, C. and Gruninger, M. (2001) A formal foundation for process modeling, Second International Conference on Formal Ontologies in Information Systems, Welty and Smith (eds), 256-269.
7.
Zurück zum Zitat Ciocoiu, M., Gruninger M., and Nau, D. (2001) Ontologies for integrating engineering applications, Journal of Computing and Information Science in Engineering, 1:45-60.CrossRef Ciocoiu, M., Gruninger M., and Nau, D. (2001) Ontologies for integrating engineering applications, Journal of Computing and Information Science in Engineering, 1:45-60.CrossRef
8.
Zurück zum Zitat Pinto, J. and Reiter, R. (1993) Temporal reasoning in logic programming: A case for the situation calculus. Proceedings of the 10th International Conference on Logic Programming, Budapest, Hungary, June 1993. Pinto, J. and Reiter, R. (1993) Temporal reasoning in logic programming: A case for the situation calculus. Proceedings of the 10th International Conference on Logic Programming, Budapest, Hungary, June 1993.
9.
Zurück zum Zitat Schlenoff, C., Gruninger, M., Ciocoiu, M., (1999) The Essence of the Process Specification Language, Transactions of the Society for Computer Simulation vol.16 no.4 (December 1999) pages 204-216. Schlenoff, C., Gruninger, M., Ciocoiu, M., (1999) The Essence of the Process Specification Language, Transactions of the Society for Computer Simulation vol.16 no.4 (December 1999) pages 204-216.
10.
Zurück zum Zitat Sowa, J. (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole Publishing. Sowa, J. (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole Publishing.
11.
Zurück zum Zitat Semantic Web Services Framework (SWSF) Overview W3C Member Submission 9 September 2005. Semantic Web Services Framework (SWSF) Overview W3C Member Submission 9 September 2005.
Metadaten
Titel
Using the PSL Ontology
verfasst von
Michael Grüninger
Copyright-Jahr
2009
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-540-92673-3_19