Wiaoa at 02:50, 11 November 2019

2019-11-11T02:50:27Z

Wiaoa: Created page with " == Model== ''Disambiguation'': this term refers to multiple things, mostly depending on the (sub)fields, informally: * Models at the instance-level (mathematics, Logic |..."

2019-11-11T01:42:38Z

Created page with " == Model== ''Disambiguation'': this term refers to multiple things, mostly depending on the (sub)fields, informally: * Models at the instance-level (mathematics, Logic |..."

New page

== Model==

''Disambiguation'': this term refers to multiple things, mostly depending on the (sub)fields, informally:
* Models at the instance-level (mathematics, [[Logic | logics]] in computer science)
* Models at the type-level (software engineering in computer science)

=== Definitions===

'''D1''' (simplified from V1.1)
* '''A model denotes a domain where its [[Individual | individuals]] and [[Relation|relations]] among them are such that they satisfy what is declared in the logical theory (such as an [[ontology]]).'''

'''D2''' (extracted, merged, and simplified from V1.2-1.3)
* '''A model is an abstraction of a domain, consisting of entity types, relationships, and constraints.'''

==== Definition Variants====

'''V1''' (instance-level) [ [[TermlistReferences#hedman2004| Hedman, 2004]] ]
* For any set of sentences constructed from a given vocabulary of function, relation, and constant symbols (V-sentences, G), a model of G is a V-structure (a non-empty underlying set D along with an interpretation of V) that models each sentence in G. The class of all models of G is denoted by M(G).

'''V2''' (type-level) [ [[TermlistReferences#embley2009| Embley, 2009]] ]
* A (conceptual/semantic data) model represents data in terms of named sets of objects, named sets of values, named sets of relationships, and constraints over these object, value, and relationship sets. The semantics of a semantic data model are the intensional declarations: the names for object, value, and relationship sets that indicate intended membership in the various sets and the declared constraints that the data should satisfy. The data of a semantic data model is extensional and consists of instances of object identifiers and values for object and value sets and of m-tuples of instances for m-ary relationship sets. The model of a semantic-datamodel instance describes intensionally a real-world domain of interest. The modeling components of the semantic data model specify the modeling elements from which a real-world model instances can be built.

'''V3''' (type-level, in Model-Driven Engineering) [ [[TermlistReferences#kuhne2006| Kühne, 2006]] ]
* A model is an abstraction of a (real or language-based) system allowing predictions or inferences to be made.

[[Category:Term|Term]]

@@ Line 4: / Line 4: @@
 ''Disambiguation'': this term refers to multiple things, mostly depending on the (sub)fields, informally:
-* Models at the instance-level (mathematics, [[Logic | logics]] in computer science)
+* Models at the instance-level (mathematics, [[Edu:Logic | logics]] in computer science)
 * Models at the type-level (software engineering in computer science)
@@ Line 11: / Line 11: @@
 '''D1''' (simplified from V1.1)
-*  '''A model denotes a domain where its [[Individual | individuals]] and [[Relation|relations]] among them are such that they satisfy what is declared in the logical theory (such as an [[ontology]]).'''
+*  '''A model denotes a domain where its [[Edu:Individual | individuals]] and [[Edu:Relation|relations]] among them are such that they satisfy what is declared in the logical theory (such as an [[Edu:ontology|ontology]]).'''
 '''D2''' (extracted, merged, and simplified from V1.2-1.3)
@@ Line 19: / Line 19: @@
-'''V1''' (instance-level) [ [[TermlistReferences#hedman2004| Hedman, 2004]] ]
+'''V1''' (instance-level) [ [[Edu:TermlistReferences#hedman2004| Hedman, 2004]] ]
 *  For any set of sentences constructed from a given vocabulary of function, relation, and constant symbols (V-sentences, G), a model of G is a V-structure (a non-empty underlying set D along with an interpretation of V) that models each sentence in G. The class of all models of G is denoted by M(G).
-'''V2''' (type-level) [ [[TermlistReferences#embley2009| Embley, 2009]] ]
+'''V2''' (type-level) [ [[Edu:TermlistReferences#embley2009| Embley, 2009]] ]
 *  A (conceptual/semantic data) model represents data in terms of named sets of objects, named sets of values, named sets of relationships, and constraints over these object, value, and relationship sets. The semantics of a semantic data model are the intensional declarations: the names for object, value, and relationship sets that indicate intended membership in the various sets and the declared constraints that the data should satisfy. The data of a semantic data model is extensional and consists of instances of object identifiers and values for object and value sets and of m-tuples of instances for m-ary relationship sets. The model of a semantic-datamodel instance describes intensionally a real-world domain of interest. The modeling components of the semantic data model specify the modeling elements from which a real-world model instances can be built.
-'''V3''' (type-level, in Model-Driven Engineering) [ [[TermlistReferences#kuhne2006| Kühne, 2006]] ]
+'''V3''' (type-level, in Model-Driven Engineering) [ [[Edu:TermlistReferences#kuhne2006| Kühne, 2006]] ]
 *  A model is an abstraction of a (real or language-based) system allowing predictions or inferences to be made.
 [[Category:Term|Term]]

Edu:Model - Revision history

Wiaoa at 02:50, 11 November 2019

Wiaoa: Created page with " == Model== ''Disambiguation'': this term refers to multiple things, mostly depending on the (sub)fields, informally: * Models at the instance-level (mathematics, Logic |..."