Skip to main content

2009 | OriginalPaper | Buchkapitel

An Ontology for Software

verfasst von : Daniel Oberle, Stephan Grimm, Steffen Staab

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

The domain of software is a primary candidate for being formalized in an ontology. On the one hand, the domain is sufficiently complex with different paradigms (e.g., object orientation) and different aspects (e.g., security, legal information, interface descriptions, etc.). On the other hand, the domain is sufficiently stable, i.e., new paradigms and aspects occur rather seldom. Capturing this stable core in a reference ontology for software can be fruitful in order to prevent modeling from scratch. For example, the approaches described in the Chapter “Ontologies and Software Engineering” introduce individual formalizations of at least one paradigm or aspect although they share basic principles. …

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
Throughout the chapter, concepts and associations are written in sans serif and are labelled in a namespace-like manner. Namespace-prefixes indicate the ontology where concepts and associations are defined. If no namespace is given, concepts and associations are assumed to be defined in the ontology currently discussed. With respect to the formulae given in the following, the reader might refer to Chapters “Description Logics, Ontologies in F-Logic, Resource Description Framework (RDF), Web Ontology Language: OWL, Ontologies and Rules” for the logic background.
 
2
The reader may note, that we occasionally use concept and association names (written in sans serif and preceded by a namespace to clarify their origin) as subjects, objects, and predicates of the sentences in the text.
 
3
The OoP:Plan of the Class contains all Plans of its Methods as alternatives.
 
4
The OoP:predecessor and OoP:successor associations hold between OoP:Tasks, and are different from OoP:precondition and OoP:postcondition associations, which hold between OoP:Plans and DnS:SituationDescriptions.
 
5
Both are specializations of DnS:modalTarget, viz., the generic association holding between DnS:Roles and DnS:Courses.
 
6
Note that DnS:unifies is the generic association between DnS:SituationDescriptions and DnS:Collections.
 
Literatur
1.
Zurück zum Zitat Anupriya Ankolekar, James Herbsleb, and Katia Sycara. Addressing Challenges to Open Source Collaboration With the Semantic Web. In Joseph Feller, Brian Fitzgerald, Scott Hissam, and Karim Lakhani, editors, Proceedings of Taking Stock of the Bazaar: The 3rd Workshop on Open Source Software Engineering, the 25th International Conference on Software Engineering (ICSE), Washington, D.C., 2003. IEEE Computer Society. Anupriya Ankolekar, James Herbsleb, and Katia Sycara. Addressing Challenges to Open Source Collaboration With the Semantic Web. In Joseph Feller, Brian Fitzgerald, Scott Hissam, and Karim Lakhani, editors, Proceedings of Taking Stock of the Bazaar: The 3rd Workshop on Open Source Software Engineering, the 25th International Conference on Software Engineering (ICSE), Washington, D.C., 2003. IEEE Computer Society.
2.
Zurück zum Zitat Dieter Fensel, Richard Benjamins, Enrico Motta, and Bob J. Wielinga. UPML: A Framework for Knowledge System Reuse. In Thomas Dean, editor, Proceedings of the 16th Int. Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, 1999. 2 Volumes, 1450 pages, pages 16–23. Morgan Kaufmann, 1999. Dieter Fensel, Richard Benjamins, Enrico Motta, and Bob J. Wielinga. UPML: A Framework for Knowledge System Reuse. In Thomas Dean, editor, Proceedings of the 16th Int. Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, 1999. 2 Volumes, 1450 pages, pages 16–23. Morgan Kaufmann, 1999.
4.
Zurück zum Zitat Aldo Gangemi, Stefano Borgo, Carola Catenacci, and Jos Lehmann. Task taxonomies for knowledge content. Metokis Deliverable D07, Sep 2004. Aldo Gangemi, Stefano Borgo, Carola Catenacci, and Jos Lehmann. Task taxonomies for knowledge content. Metokis Deliverable D07, Sep 2004.
5.
Zurück zum Zitat Aldo Gangemi and Peter Mika. Understanding the Semantic Web through Descriptions and Situations. In DOA/CoopIS/ODBASE 2003 Confederated International Conferences DOA, CoopIS and ODBASE, Proceedings, LNCS. Springer, 2003. Aldo Gangemi and Peter Mika. Understanding the Semantic Web through Descriptions and Situations. In DOA/CoopIS/ODBASE 2003 Confederated International Conferences DOA, CoopIS and ODBASE, Proceedings, LNCS. Springer, 2003.
6.
Zurück zum Zitat Michael Grüninger and Christopher Menzel. The Process Specification Language (PSL) Theory and Applications. AI Magazine, 24(3):63–74, 2003. Michael Grüninger and Christopher Menzel. The Process Specification Language (PSL) Theory and Applications. AI Magazine, 24(3):63–74, 2003.
7.
Zurück zum Zitat Steffen Lamparter, Anupriya Ankolekar, Daniel Oberle, Rudi Studer, and Christof Weinhardt. A Policy Framework for Trading Configurable Goods and Services in Open Electronic Markets. In Proceedings of the 8th Int. Conference on Electronic Commerce (ICEC’06), pages 162–173, AUG 2006. Steffen Lamparter, Anupriya Ankolekar, Daniel Oberle, Rudi Studer, and Christof Weinhardt. A Policy Framework for Trading Configurable Goods and Services in Open Electronic Markets. In Proceedings of the 8th Int. Conference on Electronic Commerce (ICEC’06), pages 162–173, AUG 2006.
8.
Zurück zum Zitat David Martin, Mark Burstein, Jerry Hobbs, Ora Lassila, Drew McDermott, Sheila McIlraith, Srini Narayanan, Massimo Paolucci, Bijan Parsia, Terry Payne, Evren Sirin, Naveen Srinivasan, and Katia Sycara. OWL-S: Semantic Markup for Web Services. http://www.daml.org/services/owl-s/1.1/, Nov 2004. David Martin, Mark Burstein, Jerry Hobbs, Ora Lassila, Drew McDermott, Sheila McIlraith, Srini Narayanan, Massimo Paolucci, Bijan Parsia, Terry Payne, Evren Sirin, Naveen Srinivasan, and Katia Sycara. OWL-S: Semantic Markup for Web Services. http://​www.​daml.​org/​services/​owl-s/​1.​1/​, Nov 2004.
10.
Zurück zum Zitat Peter Mika, Daniel Oberle, Aldo Gangemi, and Marta Sabou. Foundations for Service Ontologies: Aligning OWL-S to DOLCE. In The 13th International World Wide Web Conference Proceedings, pages 563–572. ACM, May 2004. Peter Mika, Daniel Oberle, Aldo Gangemi, and Marta Sabou. Foundations for Service Ontologies: Aligning OWL-S to DOLCE. In The 13th International World Wide Web Conference Proceedings, pages 563–572. ACM, May 2004.
11.
Zurück zum Zitat Daniel Oberle. Semantic Management of Middleware, volume I of The Semantic Web and Beyond. Springer, New York, Jan 2006. Daniel Oberle. Semantic Management of Middleware, volume I of The Semantic Web and Beyond. Springer, New York, Jan 2006.
12.
Zurück zum Zitat Daniel Oberle, Steffen Lamparter, Stephan Grimm, Denny Vrandecic, Steffen Staab, and Aldo Gangemi. Towards Ontologies for Formalizing Modularization and Communication in Large Software Systems. Journal of Applied Ontology, 1(2):163–202, 2006. Daniel Oberle, Steffen Lamparter, Stephan Grimm, Denny Vrandecic, Steffen Staab, and Aldo Gangemi. Towards Ontologies for Formalizing Modularization and Communication in Large Software Systems. Journal of Applied Ontology, 1(2):163–202, 2006.
13.
Zurück zum Zitat F. Silva Parreiras, S. Staab, and A. Winter. On marrying ontological and metamodeling technical spaces. In ESEC/ACM FSE-2007 — Proceedings of the 6th joint meeting of the European software engineering conference and the 14th ACM SIGSOFT symposium on Foundations of software engineering, pages 439–448. ACM, September 2007. F. Silva Parreiras, S. Staab, and A. Winter. On marrying ontological and metamodeling technical spaces. In ESEC/ACM FSE-2007 — Proceedings of the 6th joint meeting of the European software engineering conference and the 14th ACM SIGSOFT symposium on Foundations of software engineering, pages 439–448. ACM, September 2007.
14.
Zurück zum Zitat F. Silva Parreiras, S. Staab, and A. Winter. Improving design patterns by description logics: An use case with abstract factory and strategy. In T. Kühne and F. Steimann, editors, Proc. of Modellierung 2008, LNI. GI e.V., March 2008. F. Silva Parreiras, S. Staab, and A. Winter. Improving design patterns by description logics: An use case with abstract factory and strategy. In T. Kühne and F. Steimann, editors, Proc. of Modellierung 2008, LNI. GI e.V., March 2008.
15.
Zurück zum Zitat Adam Pease. Core Plan Representation. Object Model Focus Group, Nov 1998. Adam Pease. Core Plan Representation. Object Model Focus Group, Nov 1998.
16.
Zurück zum Zitat Marta Sabou, Daniel Oberle, and Debbie Richards. Enhancing Application Servers with Semantics. In 1st Australian Workshop on Engineering Service-Oriented Systems (AWESOS 2004) Melbourne, Australia, pages 7–15, 2004. Marta Sabou, Daniel Oberle, and Debbie Richards. Enhancing Application Servers with Semantics. In 1st Australian Workshop on Engineering Service-Oriented Systems (AWESOS 2004) Melbourne, Australia, pages 7–15, 2004.
17.
Zurück zum Zitat Christopher Welty. An Integrated Representation for Software Development and Discovery. PhD thesis, Rensselaer Polytechnic Institute Computer Science Department, 1995. Christopher Welty. An Integrated Representation for Software Development and Discovery. PhD thesis, Rensselaer Polytechnic Institute Computer Science Department, 1995.
Metadaten
Titel
An Ontology for Software
verfasst von
Daniel Oberle
Stephan Grimm
Steffen Staab
Copyright-Jahr
2009
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-540-92673-3_17