NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.1. Entities2.1.4. An ‘Upper Ontology’472.1.4. An ‘Upper Ontology’• By an upper ontology we shall understand– a relatively small, ground set of ontology expressions– which form a basis for a usually very much larger set of ontologyexpressions.A Precursor for Requirements Engineering 47 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
482. Domain Entities 2.1. Entities2.1.4. An ‘Upper Ontology’• The need for introducing the notion of an upper ontology arose, inthe late 1980s to early 1990s as follows:– usually an ontology was (is) expressed in some very basiclanguage, viz., Lisp-like S-expressions 13 .– This was necessitated by the desire to be able to share ontologiesbetween many computing applications worldwide.– Then it was found that several ontologies shared initial bases interms of which the rest of their ontologies were formulated.– These shared bases were then referred to as upper ontologies —and a need to “standardise” these arose[ontology:guarino97a,StaabStuder2004].13Ontology languages: KIF http://www.ksl.stanford.edu/knowledge-sharing/kif/-#manual, OWL [Ontology Web Language] [OWL:2009], ISO Common Logic[ISO:CL:2007]c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 48 Domain Science & Engineering
Page 1 and 2: 33NICE TO SEE YOU BACKA Precursor f
Page 5 and 6: 36 2. Domain Entities• When we ob
Page 7 and 8: 382. Domain Entities• Phenomena:
Page 9 and 10: 402. Domain Entities• Domain Onto
Page 11 and 12: 422. Domain Entities 2.1. Entities2
Page 13 and 14: 442. Domain Entities 2.1. Entities2
Page 15: 462. Domain Entities 2.1. Entities2
Page 19 and 20: 502. Domain Entities 2.2. Endurants
Page 21 and 22: 522. Domain Entities 2.2. Endurants
Page 23 and 24: 542. Domain Entities 2.3. Parts•
Page 25 and 26: 562. Domain Entities 2.3. Parts2.3.
Page 27 and 28: 582. Domain Entities 2.3. Parts2.3.
Page 30 and 31: 2. Domain Entities 2.3. Parts2.3.1.
Page 66 and 67:
2. Domain Entities 2.3. Parts2.3.2.
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88:
118LONG BREAKc○ Dines Bjørner 20
show all

NICE TO SEE YOU BACK - DTU Informatics

Create successful ePaper yourself

Delete template?

Save as template?