vocabularies, ontologies and rules for the enterprise and business process modeling and management...
TRANSCRIPT
![Page 1: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/1.jpg)
Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling
and Management
Giancarlo Guizzardi
http://nemo.inf.ufes.brComputer Science Department
Federal University of
Espírito Santo (UFES),
Brazil
Workshop on Ontologies in Conceptual Modeling
Valencia, SpainJuly, 2010
![Page 2: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/2.jpg)
We need representations of certain portions of reality in order to understand (learn), communicate and reason (problem-solving) about this portion of reality.
The need for Representations
![Page 3: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/3.jpg)
![Page 4: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/4.jpg)
ModelDomain
Abstractioninterpreted as
represented by
ModelingLanguage
Domain Conceptualization
interpreted as
represented by
used to compose
instance ofused to
compose
![Page 5: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/5.jpg)
DomainOntology
Metamodel
Language
Domain Conceptualization
![Page 6: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/6.jpg)
Admissible state of affairs according to a conceptualization C
![Page 7: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/7.jpg)
{x Person(x), x Father(x)} (MM1)
![Page 8: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/8.jpg)
Admissible state of affairs according to a conceptualization C
State of affairs represented by the valid models of metamodel MM1 of language L1
![Page 9: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/9.jpg)
{x Person(x), x Father(x)} (MM1)
{x Person(x), x Father(x), x Father(x) Man(x), x Person(x) Man(x) Woman(x), x Man(x) Woman(x),…}
(MM2)
![Page 10: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/10.jpg)
Admissible state of affairs according to a conceptualization C
State of affairs represented by the valid models of metamodel MM1 of language L1
State of affairs represented by the valid models of metamodel MM2 of language L2
![Page 11: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/11.jpg)
{x Person(x), x Father(x)} (MM1)
{x Person(x), x Father(x), x Father(x) Man(x), x Person(x) Man(x) Woman(x), x Man(x) Woman(x),…}
(MM2)
{x Person(x), x Father(x), x Father(x) Man(x), x Person(x) Man(x) Woman(x), x Man(x) Woman(x), x
Person(x) □Person(x), x LivingPerson(x) LivingPerson(x)…} (MM3)
![Page 12: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/12.jpg)
Admissible state of affairs according to a conceptualization C
State of affairs represented by the valid models of metamodel MM1 of language L1
State of affairs represented by the valid models of metamodel MM2 of language L2
State of affairs represented by the valid models of metamodel MM3 of language L3
![Page 13: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/13.jpg)
Admissible state of affairs according to a conceptualization C
State of affairs represented by the valid models of metamodel MM1 of language L1
State of affairs represented by the valid models of metamodel MM2 of language L2
State of affairs represented by the valid models of metamodel MM3 of language L3
Ontology of the domain according to the conceptualization C
![Page 14: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/14.jpg)
ModelDomain
Abstractioninterpreted as
represented by
ModelingLanguage
Domain Conceptualization
interpreted as
represented by
used to compose
instance ofused to
compose
![Page 15: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/15.jpg)
Genealogy Ontology
Genealogy Domaininterpreted as
represented by
General Ontology
Representation Language
?interpreted as
represented by
used to compose
instance ofused to
compose
![Page 16: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/16.jpg)
Formal Ontology
• To uncover and analyze the general categories and principles that describe reality is the very business of philosophical Formal Ontology
• Formal Ontology (Husserl): a discipline that deals with formal ontological structures (e.g. theory of parts, theory of wholes, types and instantiation, identity, dependence, unity) which apply to all material domains in reality.
![Page 17: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/17.jpg)
Foundational Ontology
• We name a foundational ontology the product of the discipline of formal ontology in philosophy
• A foundational ontology is a formal framework of generic (i.e. domain independent) real-world concepts that can be used to talk about material domains.
![Page 18: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/18.jpg)
Conceptual Modeling Language
Foundational Ontology
interpreted as
represented by
![Page 19: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/19.jpg)
The alternative to philosophy is not “non-philosophy” but bad philosophy! A scientific field can either develop and make explicit its foundations or remain oblivious to its inevitable and often ad hoc ontological commitments.
![Page 20: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/20.jpg)
UML
CognitiveFoundational
Ontology (UFO) interpreted as
represented by
![Page 21: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/21.jpg)
OBJECT TYPES
![Page 22: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/22.jpg)
ObjectType
Sortal Type
RoleKind
Mixin Type
Rigid Sortal Type Anti-Rigid Sortal Type
Phase RoleMixin
Anti-Rigid MixinType
Type
Distinctions Among Object Types
{Person} {Customer}{Student, Employee}
{Teenager, Living Person}
![Page 23: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/23.jpg)
«kind»SocialBeing
«kind»Group
Organization
TheBeatles
instance of
![Page 24: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/24.jpg)
«kind»SocialBeing
StaffOrganization
{John,Paul,George,Ringo}TheBeatles
instance of instance of
«constitution»
«kind»Group
![Page 25: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/25.jpg)
«kind»Person
«role»Customer
![Page 26: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/26.jpg)
Subtyping with Rigid and Anti-Rigid Types
1. x Person(x) □Person(x)
2. x Student(x) Student(x)
3. □(Person(x) Student(x))
4. Person(John)
5. Student(John)
6. □Person(John)
7. □Student(John)
8. □Student(John) Student(John)
Person
Student
![Page 27: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/27.jpg)
Educational Institution
«role»Student
*
Educational Institution
«role»Student
1..*
![Page 28: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/28.jpg)
«role»Customer
Person Organization
![Page 29: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/29.jpg)
«role»Customer
Person Organization
![Page 30: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/30.jpg)
«roleMixin»Customer
![Page 31: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/31.jpg)
«roleMixin»Customer
«role»PersonalCustomer
«role»CorporateCustomer
![Page 32: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/32.jpg)
«roleMixin»Customer
«role»PersonalCustomer
Person Organization
«role»CorporateCustomer
![Page 33: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/33.jpg)
«roleMixin»Customer
«role»PrivateCustomer
«role»CorporateCustomer
«kind»Person
Organization
«kind»Social Being
«roleMixin»Participant
«role»IndividualParticipant
«role»CollectiveParticipant
«kind»Person
SIG
«kind»Social Being
![Page 34: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/34.jpg)
Roles with Disjoint Admissible Types
«roleMixin»A
«role»B
F
D E
«role»C
1..*
1..*
![Page 35: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/35.jpg)
The Pattern in ORM
by Terry Halpin
![Page 36: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/36.jpg)
PART-WHOLE RELATIONS
![Page 37: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/37.jpg)
John
part-of
John’s Heart
Person
![Page 38: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/38.jpg)
John
John’s Brain
part-of
![Page 39: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/39.jpg)
John
part-of
John’s Heart
□((Person,x) □((x) (!Heart,y)(y < x)))
![Page 40: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/40.jpg)
John
John’s Brain
part-of
□((Person,x)(!Brain,y) □((x) (y < x)))
![Page 41: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/41.jpg)
John
part-of
John’s Heart
□((Person,x) □((x) (!Heart,y)(y < x)))
![Page 42: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/42.jpg)
Essentiality and Inseparability
• Essentiality does not imply inseparability:– Think about a Collected Works publication of some
authors. It is defined by that specific extensional collection of papers, but the papers could exist prior to and outlive the collection
• Inseparability does not imply Essentiality :– A whole in this table is an inseparable part of it, but
not an essential part of the table
![Page 43: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/43.jpg)
part-of
part-of
![Page 44: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/44.jpg)
John
part-of
part-of
part-of
![Page 45: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/45.jpg)
John
part-of
John’s Brain
part-of
part-of
![Page 46: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/46.jpg)
![Page 47: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/47.jpg)
![Page 48: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/48.jpg)
TOOL SUPPORT
![Page 49: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/49.jpg)
Type
isAbstract:Boolean = false
Classifier
DirectedRelationship
Generalization
specific
1
generalization
*
general1
/general
*
isCovering:Boolean = falseisDisjoint:Boolean = true
GeneralizationSet **
Relationship
name:String[0..1]
NamedElement
Element
/relatedElement
1..*
/target1..*
/source
1..*
Class
Object Class
Anti Rigid Sortal Class
Mixin ClassSortal Class
{disjoint, complete}
Rigid Sortal Class
RolePhaseSubKindSubstance Sortal
{disjoint, complete} {disjoint, complete}
{disjoint, complete}
Non Rigid Mixin Class
{disjoint, complete}
Rigid Mixin Class
Category
{disjoint, complete}
Anti Rigid Mixin Class Semi Rigid Mixin
RoleMixin Mixin
QuantityisExtensional:Boolean
CollectiveKind
{disjoint, complete}
![Page 50: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/50.jpg)
![Page 51: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/51.jpg)
![Page 52: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/52.jpg)
Tool Support
The underlying algorithm merely has to check structural properties of the diagram and not the content of involved nodes
![Page 53: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/53.jpg)
![Page 54: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/54.jpg)
ATL Transformation
Alloy Analyzer + OntoUML visual PluginAlloy Analyzer + OntoUML visual Plugin
Simulation and Visualization
![Page 55: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/55.jpg)
![Page 56: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/56.jpg)
A Software Engineering view…
Conceptual Modeling
Implementation1Implementation2 Implementation3
![Page 57: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/57.jpg)
A Software Engineering view…
Conceptual Modeling
Implementation1Implementation2 Implementation3
DESIGN
![Page 58: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/58.jpg)
…transported to Ontological Engineering
Ontology as a Conceptual Model
Ontology as Implementation1
(SHOIN/OWL-DL, DLRUS)
Ontology as Implementation2
(CASL)
Ontology asImplementation3
(Alloy, F-Logic…)
![Page 59: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/59.jpg)
…transported to Ontological Engineering
Ontology as a Conceptual Model
Ontology as Implementation1
(SHOIN/OWL-DL, DLRUS)
Ontology as Implementation2
(CASL)
Ontology asImplementation3
(Alloy, F-Logic…)
DESIGN
![Page 60: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/60.jpg)
![Page 61: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/61.jpg)
![Page 62: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/62.jpg)
![Page 63: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/63.jpg)
![Page 64: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/64.jpg)
![Page 65: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/65.jpg)
Unified Foundational Ontology (UFO)
UFO-A (STRUCTURAL ASPECTS)(Objects, their types, their parts/wholes,
the roles they play, their intrinsic and relational properties
Property value spaces…)
UFO-B (DYNAMIC ASPECTS)(Events and their parts,
Relations between events,Object participation in events,
Temporal properties of entities, Time…)
UFO-C (SOCIAL ASPECTS)(Agents, Intentional States, Goals, Actions,
Norms, Social Commitments/Claims, Social Dependency Relations…)
![Page 66: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/66.jpg)
Ontology-Based Analysis and (Re) Engineering based on UFO-B and UFO-C
We have analyzed, (re) engineered, integrated other reference models and tools. Examples include:ITIL, RM-ODPARIS EPC , Goal and Organizational ModelsTROPOS/i*, AORML
![Page 67: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/67.jpg)
References1. GUIZZARDI, G.
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited, 21st International Conference on Advanced Information Systems Engineering (CAISE’09), Amsterdam, The Netherlands, 2009.
2. Guizzardi, G. Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto distinction, 19th International Conference on Advanced Information Systems Engineering (CAISE’07), Trondheim, 2007, Lecture Notes in Computer Science 4495, Springer-Verlag.
3. Guizzardi, G.; Wagner, G.; Guarino, N.; van Sinderen, M. “An Ontologically Well-Founded Profile for UML Conceptual Models”, 16th International Conference on Advances in Information Systems Engineering (CAiSE), Latvia, 2004. Springer-Verlag , Berlin, Lecture Notes in Computer Science 3084, ISBN 3-540-22151-4.
4. Guizzardi, G., On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models, Frontiers in Artificial Intelligence and Applications, Databases and Information Systems IV, Olegas Vasilecas, Johan Edler, Albertas Caplinskas (Editors), ISBN 978-1-58603-640-8, IOS Press, Amsterdam, 2007.
5. GUIZZARDI, G.; LOPES, M.; BAIÃO, F.; FALBO, R. On the importance of truly ontological representation languages, International Journal of Information Systems Modeling and Design (IJISMD), Information Resources Management Association (IRMA), IGI Publishing, Hershey-New York, USA, Volume 1, Issue 2, April-June 2010, ISSN: 1947-8186.
6. SANTOS, Jr., P; ALMEIDA, J.P.A.; GUIZZARDI, G., An Ontology-Based Semantic Foundation for ARIS EPCs, 25th ACM Symposium On Applied Computing (ACM SAC 2010), Sierre, Switerland, 2010.
![Page 68: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/68.jpg)
References7. CARDOSO, E.C., SANTOS JUNIOR, P.S., ALMEIDA, J.P.A., GUIZZARDI, R.S.S., GUIZZARDI, G.
Semantic Integration of Goal and Business Process Modeling, IFIP International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Rio Grande do Norte, Brazil, 2010.
8. SANTOS, Jr., P; ALMEIDA, J.P.A.; GUIZZARDI, G., An Ontology-Based Semantic Foundation for Organizational Structure Modeling in the ARIS Method, IEEE 5th Joint International Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE) – Metamodels, Ontologies and Semantic Technologies (MOST), together with 15th International Enterprise Computing Conference (EDOC 2010), Vitória, Brazil, 2010.
9. ALMEIDA, J.P.A.; CARDOSO, E., GUIZZARDI, G., On the Goal Domain in the RM-ODP Enterprise Language: An Initial Appraisal based on a Foundational Ontology, IEEE 6th International Workshop on ODP for Enterprise Computing (WODPEC 2010), together with 15th International Enterprise Computing Conference (EDOC 2010), Vitória, Brazil, 2010.
10. ALMEIDA, J. P. A. ; GUIZZARDI, G. ; SANTOS JR., P. S. Applying and Extending a Semantic Foundation for Role-Related Concepts in Enterprise Modelling. International Journal of Enterprise Information Systems (IJEIS), IGI-Global, 2009.
11. GONCALVES, B. N.; ZAMBORLINI, V. ; GUIZZARDI, G. An Ontological Analysis of the Electrocardiogram. ELECTRONIC JOURNAL OF COMMUNICATION, INFORMATION AND INNOVATION IN HEALTH, 2009.
![Page 69: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/69.jpg)
References12. BENEVIDES, A.B.; GUIZZARDI, G.
A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML, 11th International Conference on Enterprise Information Systems (ICEIS), Milan, 2009. Lecture Notes in Business Information Processing, Springer-Verlag.
13. Benevides, A.B.; Guizzardi, G.; Braga, B.F.B.; Almeida, J.P.A.;, Assessing Modal Aspects of OntoUML Conceptual Models in Alloy, International Workshop on Evolving Theories of Conceptual Modeling (ETheCoM 2009), at the 28th International Conference on Conceptual Modeling (ER 2009), Gramado, Brazil.
![Page 70: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/70.jpg)
AcknowledgementsNicola GuarinoGerd Wagner
Renata S.S. GuizzardiJoão Paulo Almeida
Ricardo FalboBernardo Nunes
Alessander Botti BenevidesBernardo Braga
Paulo Sergio Santos Jr.Evellin Cardoso
Veruska Zamborlini
![Page 71: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/71.jpg)
Acknowledgements
This research is funded by the Brazilian ResearchFunding Agencies FAPES (grant number 45444080/09) and
CNPq (grants number 481906/2009-6)
![Page 72: Vocabularies, Ontologies and Rules for The Enterprise and Business Process Modeling and Management Giancarlo Guizzardi (guizzardi@acm.org )guizzardi@acm.org](https://reader037.vdocuments.net/reader037/viewer/2022102818/56649d9d5503460f94a874e0/html5/thumbnails/72.jpg)
http://nemo.inf.ufes.br/[email protected]