User contributions
From IAOA Wiki
- 13:10, 6 September 2022 (diff | hist) . . (+1,625) . . IAOA Assembly 2022 08 (current)
- 15:00, 13 November 2019 (diff | hist) . . (-20) . . SWAO:Home
- 14:21, 12 November 2019 (diff | hist) . . (+50) . . MediaWiki:Sidebar
- 04:46, 12 November 2019 (diff | hist) . . (-413) . . Category:SWAO
- 04:44, 12 November 2019 (diff | hist) . . (+194) . . SWAO:Sidebar
- 04:44, 12 November 2019 (diff | hist) . . (-421) . . SWAO:Home
- 04:41, 12 November 2019 (diff | hist) . . (+35) . . N SWAO:Sidebar (Created page with "* SWAO Navigation ** SWAO:Home|Home")
- 04:37, 12 November 2019 (diff | hist) . . (+17) . . Edu:Sidebar (current)
- 04:37, 12 November 2019 (diff | hist) . . (+663) . . N Edu:Home (Created page with "= IAOA Education Home = == Welcome == to the wiki of the Technical committee on Education of the [http://www.iaoa.org International Association for Ontology and its Applicati...")
- 04:34, 12 November 2019 (diff | hist) . . (+233) . . Edu:Sidebar
- 04:33, 12 November 2019 (diff | hist) . . (+26) . . Edu:Sidebar
- 04:27, 12 November 2019 (diff | hist) . . (-2) . . Edu:Sidebar
- 04:26, 12 November 2019 (diff | hist) . . (-41) . . Edu:Sidebar
- 04:21, 12 November 2019 (diff | hist) . . (-42) . . Edu:Sidebar
- 04:20, 12 November 2019 (diff | hist) . . (+42) . . Edu:Sidebar
- 04:20, 12 November 2019 (diff | hist) . . (+13) . . Edu:Sidebar
- 04:19, 12 November 2019 (diff | hist) . . (+24) . . Edu:Sidebar
- 03:45, 12 November 2019 (diff | hist) . . (+193) . . N MediaWiki:Sidebar (Created page with " * NAMESPACE-SIDEBAR * USER-SIDEBAR * navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges ** randompage-url|randompage ** helppage|help * SEARCH * T...")
- 03:41, 12 November 2019 (diff | hist) . . (+29) . . N Edu:Sidebar (Created page with "* Edu:Term List Term List")
- 19:54, 11 November 2019 (diff | hist) . . (-21) . . Category:SWAO
- 18:48, 11 November 2019 (diff | hist) . . (-1) . . Main Page (→General Notices =)
- 18:48, 11 November 2019 (diff | hist) . . (+175) . . Main Page
- 18:34, 11 November 2019 (diff | hist) . . (+62) . . SWAO:Conference Call 20191007 (→Attendees)
- 18:33, 11 November 2019 (diff | hist) . . (+5,981) . . SWAO:Conference Call 20191007
- 18:33, 11 November 2019 (diff | hist) . . (-6,006) . . SWAO:Conference Call 20191111
- 18:28, 11 November 2019 (diff | hist) . . (+6,044) . . SWAO:Conference Call 20191111
- 18:21, 11 November 2019 (diff | hist) . . (+246) . . SWAO:Conference Call 20191111
- 18:15, 11 November 2019 (diff | hist) . . (+1,466) . . N SWAO:Conference Call 20191007 (Created page with "<skin>Bouquet</skin> {| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Number | sequence::71 |- ! scope="row" | D...")
- 18:14, 11 November 2019 (diff | hist) . . (+21) . . SWAO:Conference Call 20191111
- 18:13, 11 November 2019 (diff | hist) . . (+2,480) . . N SWAO:Home (Created page with "<skin>Bouquet</skin> <table border="1"> <tr> <td> Home </td> <td> Projects </td> <td> SIG Events...")
- 18:09, 11 November 2019 (diff | hist) . . (+21) . . SWAO:Connection Details GTM
- 18:08, 11 November 2019 (diff | hist) . . (+1,997) . . N SWAO:Connection Details GTM (Created page with "== SWAO SIG Team Conference Call Connection details == * Dial-in and Screen-share (GoToMeeting): ** Please join the on-line meeting (screen share and voice over IP access)....")
- 18:06, 11 November 2019 (diff | hist) . . (+1,446) . . N SWAO:Conference Call 20191111 (Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Number | sequence::71 |- ! scope="row" | Duration | duration:...")
- 04:15, 11 November 2019 (diff | hist) . . (+1) . . Edu:Particular
- 04:14, 11 November 2019 (diff | hist) . . (+4) . . Edu:Identity
- 04:14, 11 November 2019 (diff | hist) . . (+1) . . Edu:Identity
- 04:13, 11 November 2019 (diff | hist) . . (-5) . . Edu:Function
- 04:11, 11 November 2019 (diff | hist) . . (+2) . . Edu:Category
- 04:07, 11 November 2019 (diff | hist) . . (+1) . . Edu:TermlistReferences
- 04:03, 11 November 2019 (diff | hist) . . (+4,967) . . N Edu:TermlistReferences (Created page with "== Lists of References for the Term List == This page captures publications and weblinks in two separate lists. Both are sort...")
- 03:55, 11 November 2019 (diff | hist) . . (+56) . . N Edu talk:TermlistReferences (Created page with "* Needs web references for other foundational ontologies") (current)
- 03:39, 11 November 2019 (diff | hist) . . (0) . . Edu:Term List
- 03:38, 11 November 2019 (diff | hist) . . (+361) . . N Edu:Web Ontology Language - OWL (Created page with "== OWL == The W3C Web Ontology Language (OWL) is a Semantic Web language designed to represent rich and complex knowledge about things, groups of things, and relations between...") (current)
- 03:37, 11 November 2019 (diff | hist) . . (+328) . . N Edu:First Order Logic - FOL (Created page with "== First-order Logic == # First-order Logic (FOL) is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses...") (current)
- 03:37, 11 November 2019 (diff | hist) . . (+1,012) . . N Edu:Description Logic - DL (Created page with "== Description Logic == Description logic is a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an applic...") (current)
- 03:36, 11 November 2019 (diff | hist) . . (+385) . . N Edu:Common Logic - CL (Created page with "== Common Logic == Common Logic is a logic framework intended for information exchange and transmission. The framework allows for a variety of different syntactic forms, calle...") (current)
- 03:35, 11 November 2019 (diff | hist) . . (+495) . . N Edu:Yet Another More Advanced Top-level Ontology - YAMATO (Created page with "== YAMATO == # YAMATO is a foundational ontology built and maintained by Dr.Riichiro Mizoguchi. It was first built in 1999. It is implemented in Hozo and OWL. It is open for...") (current)
- 03:35, 11 November 2019 (diff | hist) . . (+1,464) . . N Edu:Unified Foundational Ontology - UFO (Created page with "== UFO == # The Unified Foundational Ontology (UFO), developed by Giancarlo Guizzardi and associates, incorporating developments from GFO, DOLCE and the Ontology of Universals...") (current)
- 03:34, 11 November 2019 (diff | hist) . . (+742) . . N Edu:General Formal Ontology - GFO (Created page with "== GFO == # The General Formal Ontology (GFO)is a top-level ontology for conceptual modeling, which is being constantly further developed by Onto-Med. GFO exhibits a three-lay...") (current)
- 03:34, 11 November 2019 (diff | hist) . . (+1,073) . . N Edu:Descriptive Ontology for Linguistic and Cognitive. Engineering - DOLCE (Created page with "== DOLCE == # The Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE)was the first module of a foundational ontologies library developed in the Wonde...") (current)
- 03:32, 11 November 2019 (diff | hist) . . (+1,724) . . N Edu:CYC ontology (Created page with "== CyC Ontology == #The Upper Cyc Ontology was in the 90's a set ofapproximately 3,000 terms capturing the most generalconcepts of human consensus reality as part of the Cyc p...") (current)
- 03:32, 11 November 2019 (diff | hist) . . (+881) . . N Edu:Basic Formal Ontology - BFO (Created page with " == Basic Formal Ontology - BFO == # A top-level (or upper_level) ontology consisting of Edu:continuan...") (current)
- 03:30, 11 November 2019 (diff | hist) . . (+172) . . N Edu:Necessity (Created page with " == Necessity == # Negation as failure - Note: This is not a core term and has a fairly clear interpretation. Hence need not be in the this lexicon. Category:Term") (current)
- 03:29, 11 November 2019 (diff | hist) . . (+867) . . N Edu:Metaphysics (Created page with " == Metaphysics == # In an Aristotelian tradition, metaphysics comprises two topics: the nature of God, understood as a first cause or "unmoved mover;" and the description of...") (current)
- 03:29, 11 November 2019 (diff | hist) . . (+402) . . N Edu:Fiat Object Part (Created page with " == Fiat Object Part == # A material entity that is a proper part of some larger object, but is not demarcated from the remainder of this object by any physical discontinuitie...") (current)
- 03:28, 11 November 2019 (diff | hist) . . (+395) . . N Edu:Continuant Fiat Boundary (Created page with " == Continuant Fiat Boundary == # An immaterial entity that is of zero, one, or two dimensions and does not include a spatial region as part. Intuitively, a ''continuant fiat...") (current)
- 03:27, 11 November 2019 (diff | hist) . . (+1,647) . . N Edu:Universal (Created page with " == Universal == # exist as thoughts or concepts formed by the knowing mind. They are mental representations or ideas, conceptualized out of the particular things to which th...")
- 03:26, 11 November 2019 (diff | hist) . . (+499) . . N Edu:Type (Created page with " == Type == # "Type" for the same reason that the term "set". A type in ontology modeling is a mathematical notion typically expressed at the meta-level (language). With this...")
- 03:26, 11 November 2019 (diff | hist) . . (+87) . . N Edu talk:Type (Created page with "* In some contexts (e.g., BFO Specification 2.0) 'type' is synonymous with 'universal'.")
- 03:25, 11 November 2019 (diff | hist) . . (+310) . . N Edu:Terminology (Created page with " == Terminology== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''A representational artifact containing a list of Edu:term|...")
- 03:25, 11 November 2019 (diff | hist) . . (+434) . . N Edu:Term (Created page with " == Term== === Definitions=== # a word or expression that has a precise meaning in some uses or is peculiar to a science, art, profession, or subject (Source: Merriam-Web...")
- 03:24, 11 November 2019 (diff | hist) . . (+222) . . N Edu:Temporal region (Created page with " == Temporal Region== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''An occurrent entity tha...")
- 03:24, 11 November 2019 (diff | hist) . . (+600) . . N Edu:Taxonomy (Created page with " == Taxonomy== === Definitions=== '''D1''' the study of the general principles of scientific classification '''D2''' [ Edu:TermlistReferences#arpetal2015|Arp et al., 20...")
- 03:23, 11 November 2019 (diff | hist) . . (+127) . . N Edu:Stuff (Created page with " == Stuff== === Definitions=== '''D1''' * ''synonymous with mass's Definition D1.'' Category:Term") (current)
- 03:23, 11 November 2019 (diff | hist) . . (+344) . . N Edu talk:Stuff (Created page with "* There are numerous papers on 'stuff' (the preferred term among philosophers, it seems), but it is still not well-understood, and typically characterised through examples and...") (current)
- 03:22, 11 November 2019 (diff | hist) . . (+290) . . N Edu:Spatiotemporal region (Created page with " == Spatiotemporal Region== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''An occurrent Edu:entity|entity...")
- 03:22, 11 November 2019 (diff | hist) . . (+385) . . N Edu:Spatial region (Created page with " == Spatial Region== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''A continuant entity tha...")
- 03:21, 11 November 2019 (diff | hist) . . (+544) . . N Edu:Semantic Interoperability (Created page with " == Semantic Interoperability== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''A property that obtains betwe...") (current)
- 03:21, 11 November 2019 (diff | hist) . . (+331) . . N Edu:Semantics (Created page with " == Semantics== === Definitions=== '''D1''' (Logic) * '''The semantics of a logic is its formal theory of truth.''' '''D2''' (Semiotics) * '''The relationship between a...")
- 03:20, 11 November 2019 (diff | hist) . . (+357) . . N Edu:Particular-Particular Relation (Created page with " == Particular-Particular Relation== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''A relation between one [...")
- 03:19, 11 November 2019 (diff | hist) . . (+2,487) . . N Edu:Relation (Created page with " == Relation== ''Disambiguation'': the term as used in the literature can refer to either one of the following, depending on the context: * Instance-level Edu:entity|entit...")
- 03:15, 11 November 2019 (diff | hist) . . (+733) . . N Edu talk:Relation (Created page with "* Predicate is also used in relation to ''relation'', but that covers either sense as well, and it can be unary (which a relation cannot be). * ''Relation''...")
- 03:14, 11 November 2019 (diff | hist) . . (+2,128) . . N Edu:Role (Created page with " == Role== === Definitions=== '''D1''' (extracted and merged from V1.1-1.2) * '''A role is an entity that is played (or acted out) by another entity.'''...")
- 03:12, 11 November 2019 (diff | hist) . . (+638) . . N Edu:Rigidity (Created page with "== Rigidity == Rigidity is a property of relations/properties, a meta-property. It is defined in terms of modal logic. A property of an entity is essential to that entity i...")
- 03:11, 11 November 2019 (diff | hist) . . (+303) . . N Edu:Relational Quality (Created page with " == Relational Quality== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''A quality that inheres in two or more...")
- 03:11, 11 November 2019 (diff | hist) . . (+715) . . N Edu:Quality (Created page with " == Quality == # A kind of sensory quality as used in DOLCE is "Quale". # Relation # An entity we can perceive or measure; qualities are particulars. Qualities inhere to entit...")
- 03:10, 11 November 2019 (diff | hist) . . (+146) . . N Edu:Property (Created page with " == Property == # [Logic] A property is a unary predicate in intention. # [Semantic Web] A property is a binary relation. Category:Term")
- 03:10, 11 November 2019 (diff | hist) . . (+91) . . N Edu talk:Property (Created page with "* Needs definitions with sources * 'intention' should be defined or linked to a definition.") (current)
- 03:09, 11 November 2019 (diff | hist) . . (+273) . . N Edu:Process boundary (Created page with " == Process Boundary== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''An occurrent entity th...")
- 03:09, 11 November 2019 (diff | hist) . . (-1) . . Edu:Process
- 03:09, 11 November 2019 (diff | hist) . . (+351) . . N Edu:Process (Created page with " == Process== === Definitions=== '''D1''' [ Arp et al., 2015 ] ** '''An occurrent entity that exist...")
- 03:08, 11 November 2019 (diff | hist) . . (+1,037) . . N Edu:Predicate (Created page with " == Predicate == [Logic] A predicate or relation is a function that maps its arguments to the truth values 1 and 0 or T and F. (Knowledge Representation, John F. Sowa, 2000,...")
- 03:08, 11 November 2019 (diff | hist) . . (+626) . . N Edu talk:Predicate (Created page with "* In some contexts a unary predicate is referred to as a property. * A problem with the Informal def. is that of associating variables and values with statements. It seems to...") (current)
- 03:07, 11 November 2019 (diff | hist) . . (+359) . . N Edu:Perdurant (Created page with " == Perdurant == # Entities that ‘happen in time’, they extend in time by accumulating different ‘temporal parts’, so that, at any time t at which they exist, only the...")
- 03:06, 11 November 2019 (diff | hist) . . (+1,338) . . N Edu:Particular (Created page with " == Particular== === Definitions=== # As a noun, “particular” has various applications, some of which lead to philosophical dispute. As a single entity of a class or k...")
- 03:05, 11 November 2019 (diff | hist) . . (+890) . . N Edu:Open-world Assumption (Created page with " == Open-world Assumption== === Definitions=== '''D1''' [ Arp et al., 2015 ] ** '''The assumption that we capture knowledge within a...")
- 03:04, 11 November 2019 (diff | hist) . . (0) . . Edu:Top-level Ontology
- 03:04, 11 November 2019 (diff | hist) . . (0) . . Edu:Top-level Ontology
- 03:03, 11 November 2019 (diff | hist) . . (0) . . Edu:Upper-level Ontology
- 03:02, 11 November 2019 (diff | hist) . . (+1,296) . . N Edu:Top-level Ontology (Created page with " == Top-level Ontology== Synonymous with Foundational ontology and Upper-level ontology === Definitions=== '''D...")
- 03:00, 11 November 2019 (diff | hist) . . (+169) . . N Edu:Upper-level Ontology (Created page with " == Upper-level Ontology== Synonymous with Foundational ontology and Top-level ontology Category:Term")
- 02:59, 11 November 2019 (diff | hist) . . (+8) . . Edu:Foundational Ontology
- 02:59, 11 November 2019 (diff | hist) . . (+49) . . Edu:Reference Ontology
- 02:58, 11 November 2019 (diff | hist) . . (+323) . . Edu:Domain Ontology
- 02:55, 11 November 2019 (diff | hist) . . (+176) . . Edu:Application Ontology
- 02:54, 11 November 2019 (diff | hist) . . (+77) . . Edu:Task Ontology
- 02:53, 11 November 2019 (diff | hist) . . (+131) . . Edu:Occurrent
- 02:51, 11 November 2019 (diff | hist) . . (+4) . . Edu:Object
- 02:50, 11 November 2019 (diff | hist) . . (+11) . . Edu:Object
- 02:50, 11 November 2019 (diff | hist) . . (+37) . . Edu:Model (current)
- 02:48, 11 November 2019 (diff | hist) . . (-219) . . Edu:Member (current)
- 02:48, 11 November 2019 (diff | hist) . . (+212) . . N Edu talk:Member (Created page with "proposal (FL, 2018-08-23): add definitions wrt: * member in the sense of set theory * member as used synonymously with instance wrt classes, e.g. wrt DL/OWL * member in connec...") (current)
- 02:48, 11 November 2019 (diff | hist) . . (-1,396) . . Edu:Kind (Blanked the page) (current) (Tag: Blanking)
- 02:46, 11 November 2019 (diff | hist) . . (-578) . . Edu:Mass
- 02:46, 11 November 2019 (diff | hist) . . (+580) . . N Edu talk:Mass (Created page with "* Note regarding V1.2: there are many papers which take roughly V1.1, but without the 'large' and the 'no definite shape' to be not equating some object and not equating with...") (current)
- 02:45, 11 November 2019 (diff | hist) . . (-578) . . Edu:Kind
- 02:45, 11 November 2019 (diff | hist) . . (+580) . . N Edu talk:Kind (Created page with "* Note regarding V1.2: there are many papers which take roughly V1.1, but without the 'large' and the 'no definite shape' to be not equating some object and not equating with...") (current)
- 02:43, 11 November 2019 (diff | hist) . . (-200) . . Edu:Instance (current)
- 02:42, 11 November 2019 (diff | hist) . . (+223) . . N Edu talk:Instance (Created page with "proposals (FL, 2018-08-21): * distinguish Instance from Individual/Particular, e.g., because categories may be instances of other categories * add notions of instance in conte...") (current)
- 02:42, 11 November 2019 (diff | hist) . . (+74) . . Edu:Inherence
- 02:40, 11 November 2019 (diff | hist) . . (+156) . . N Edu talk:Individual (Created page with "proposals (RR, 2018-09-15): * According to philosophical sources, individual is not the same as particular. Therefore, remove the terms from being synonyms.")
- 02:40, 11 November 2019 (diff | hist) . . (-130) . . Edu:Individual
- 02:39, 11 November 2019 (diff | hist) . . (-99) . . Edu:Function
- 02:38, 11 November 2019 (diff | hist) . . (+128) . . N Edu talk:Function (Created page with "proposals (FL, 2018-08-21): * add more of the many alternatives that exist, e.g., function as defined by Borgo, Mizoguchi et al.") (current)
- 02:37, 11 November 2019 (diff | hist) . . (+75) . . Edu:Realizable Entity
- 02:36, 11 November 2019 (diff | hist) . . (+68) . . Edu:Material Entity
- 02:32, 11 November 2019 (diff | hist) . . (-135) . . Edu:Entity
- 02:31, 11 November 2019 (diff | hist) . . (+155) . . N Edu talk:Entity (Created page with "FL proposal (2018-05-15): * add definition from linguistic context, where entity is contrasted with event * reorganize definitions and add sources properly") (current)
- 02:31, 11 November 2019 (diff | hist) . . (+12) . . Edu:Endurant
- 02:30, 11 November 2019 (diff | hist) . . (+244) . . N Edu talk:Domain (Created page with " proposals (FL, 2018-08-21): * add understanding of domain as in description logics/OWL/mathematics, in the sense of domain-/range-constraints, domain of a relation * add unde...") (current)
- 02:30, 11 November 2019 (diff | hist) . . (-251) . . Edu:Domain
- 02:29, 11 November 2019 (diff | hist) . . (+134) . . N Edu talk:Disposition (Created page with "=== Commentary === * the term is often used more broadly in the philosophical literature, covering virtually all "realizable entities"")
- 02:29, 11 November 2019 (diff | hist) . . (-135) . . Edu:Disposition
- 02:28, 11 November 2019 (diff | hist) . . (-11) . . Edu:Continuant
- 02:28, 11 November 2019 (diff | hist) . . (+112) . . N Edu talk:Continuant (Created page with "proposals (FL, 2018-08-21): * add definition(s) from philosophical source(s) (SEP?) * reference for comment C1.1") (current)
- 02:26, 11 November 2019 (diff | hist) . . (-285) . . Edu:Concept
- 02:25, 11 November 2019 (diff | hist) . . (+278) . . N Edu talk:Concept (Created page with " revision proposals (FL, 2018-08-21): * references on commentary needed * find definitions of the readings from Wikipedia from corresponding scientific literature, e.g., cogni...") (current)
- 02:25, 11 November 2019 (diff | hist) . . (+29) . . Edu:Defined Class
- 02:24, 11 November 2019 (diff | hist) . . (-339) . . Edu:Category
- 02:24, 11 November 2019 (diff | hist) . . (+333) . . N Edu talk:Category (Created page with " extension proposal (FL, 2018-05-15): * add category as defined in philosophy, as "highest kind of genera", cf. https://plato.stanford.edu/entries/categories/ * add category a...") (current)
- 02:23, 11 November 2019 (diff | hist) . . (+641) . . N Edu talk:Class (Created page with "* "class" has a clear meaning in the context of XML; but its meaning is clearly defined in the context of the BFO and OBO Foundry. I don't think we'd want to tell people to on...")
- 02:22, 11 November 2019 (diff | hist) . . (-660) . . Edu:Class
- 02:22, 11 November 2019 (diff | hist) . . (+186) . . Edu:Class
- 02:19, 11 November 2019 (diff | hist) . . (+65) . . Edu:Category
- 02:16, 11 November 2019 (diff | hist) . . (+28) . . Edu:Continuant
- 02:15, 11 November 2019 (diff | hist) . . (+4) . . Edu:Continuant
- 02:14, 11 November 2019 (diff | hist) . . (+8) . . Edu:Continuant
- 02:13, 11 November 2019 (diff | hist) . . (+139) . . N Edu:Foundational Ontology (Created page with " == Foundational Ontology== Synonymous with Synonym::Upper-level ontology and Synonym::Top-level ontology Category:Term")
- 02:09, 11 November 2019 (diff | hist) . . (+733) . . N Edu:Reference Ontology (Created page with " == Reference Ontology== === Definitions=== '''D1''' [ Guarino, 1998 ] * '''A detailed, fine-grained ontology that specifies the in...")
- 02:08, 11 November 2019 (diff | hist) . . (+1,550) . . N Edu:Domain Ontology (Created page with " == Domain Ontology== === Definitions=== '''D1''' [ Guarino, 1998 ] * '''An ontology that describes the vocabulary related to a gen...")
- 02:08, 11 November 2019 (diff | hist) . . (+1,010) . . N Edu:Application Ontology (Created page with " == Application Ontology== === Definitions=== '''D1''' [ Guarino, 1998 ] * '''An ontology that describes concepts depending bot...")
- 02:07, 11 November 2019 (diff | hist) . . (+573) . . N Edu:Task Ontology (Created page with " == Task Ontology== === Definitions=== '''D1''' [ Guarino, 1998 ] * '''An ontology that describes the vocabulary related to a gener...")
- 02:07, 11 November 2019 (diff | hist) . . (+2,671) . . N Edu:Ontology (Created page with " == Ontology == === Ontology (count noun) === #a particular theory about the nature of being or the kinds of things that have existence (Merriam-Webster online: https://www....")
- 02:03, 11 November 2019 (diff | hist) . . (+243) . . N Property:Synonym (Created page with "This is a term that is approximately the same as another one Has type::Page. In practice, synonyms have subtle differences. If the terms were exactly the same, then ther...") (current)
- 01:58, 11 November 2019 (diff | hist) . . (-124) . . Edu:Occurrent
- 01:58, 11 November 2019 (diff | hist) . . (+111) . . N Edu talk:Occurrent (Created page with "(RR: 9/16/2018) - According to my past research, the earliest usage of 'occurrent' is in Johnson's book "Logic"") (current)
- 01:57, 11 November 2019 (diff | hist) . . (+1,244) . . N Edu:Occurrent (Created page with " == Occurent== === Definitions=== # [...] used for what is actually in the process of happening (Source: p.107 under 'disposition' in The Routledge Dictionary of Philosophy...")
- 01:45, 11 November 2019 (diff | hist) . . (-53) . . Edu:Term List (→Terms for Central General Notions)
- 01:43, 11 November 2019 (diff | hist) . . (+987) . . N Edu:Object (Created page with " == Object== === Definitions=== # Literally, what ‘lies before’ something. What is experienced (the object), as opposed to what experiences it (the subject). Anything...")
- 01:42, 11 November 2019 (diff | hist) . . (+2,299) . . N Edu:Model (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 |...")
- 01:41, 11 November 2019 (diff | hist) . . (+214) . . N Edu:Mereology (Created page with "== Mereology == The theory of parthood relations: of the relations of part to whole and the relations of part to part within a whole. (Source: https://plato.stanford.edu/entr...") (current)
- 01:40, 11 November 2019 (diff | hist) . . (+257) . . N Edu:Member (Created page with " == Member == ---- proposal (FL, 2018-08-23): add definitions wrt: * member in the sense of set theory * member as used synonymously with instance wrt classes, e.g. wrt DL/O...")
- 01:40, 11 November 2019 (diff | hist) . . (+1,974) . . N Edu:Mass (Created page with " == Mass== === Definitions=== '''D1''' (based on V1.1 and V1.2) * '''A body of matter that does not have a definite (named/identifiable) shape.''' '''D2''' (merged and s...")
- 01:39, 11 November 2019 (diff | hist) . . (-2,056) . . Edu:Instantiation (Blanked the page) (Tag: Blanking)
- 01:39, 11 November 2019 (diff | hist) . . (+2,056) . . N Edu:Logic (Created page with " == Logic == # The combination of a formal language with a formal theory of truth or a proof theory (or both). # The study of arguments, with the intention of describing how t...")
- 01:38, 11 November 2019 (diff | hist) . . (+1,974) . . N Edu:Kind (Created page with " == Mass== === Definitions=== '''D1''' (based on V1.1 and V1.2) * '''A body of matter that does not have a definite (named/identifiable) shape.''' '''D2''' (merged and s...")
- 01:36, 11 November 2019 (diff | hist) . . (+2,056) . . N Edu:Instantiation (Created page with " == Logic == # The combination of a formal language with a formal theory of truth or a proof theory (or both). # The study of arguments, with the intention of describing how t...")
- 01:35, 11 November 2019 (diff | hist) . . (+360) . . N Edu:Instance (Created page with " == Instance== === Definitions=== see Particular ''Synonyms'' – Particular, Individual ---- proposals (FL, 2018-08-21): * distinguish Instance from Indivi...")
- 01:35, 11 November 2019 (diff | hist) . . (+394) . . N Edu:Inherence (Created page with " == Inherence== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''A one-sided dependence that obtains between specifically and gen...")
- 01:34, 11 November 2019 (diff | hist) . . (+686) . . N Edu:Individual (Created page with " == Individual== === Definitions=== # In a standard sense, an individual is something that can be individuated, that is, counted or picked out in language and thus be dis...")
- 01:33, 11 November 2019 (diff | hist) . . (+214) . . N Edu:Identity Criteria (Created page with "== Identity Criteria == An identity criterion for a property P is a binary relation Ip such that P(x) & P(y) & Ip(x,y) → x = y. [ TermlistReferences#Guarino1999|Gu...") (current)
- 01:30, 11 November 2019 (diff | hist) . . (+657) . . N Edu:Identity (Created page with " == Identity == === Commentary === * In description logics, conceptual models usually focus on the sufficient and necessary criteria for '''''class membership''''', that is,...")
- 01:29, 11 November 2019 (diff | hist) . . (+1,010) . . N Edu:Function (Created page with " == Function == # In ordinary language, a function roughly means a purpose or role. In logic and mathematics, a function is a particular kind of relation in which given any o...")
- 01:28, 11 November 2019 (diff | hist) . . (+2,368) . . N Edu:Event (Created page with " == Event == # something that happens : occurrence (Source: Merriam-Webster's Collegiate Dictionary. URL= https://www.merriam-webster.com/dictionary/event) # A happening or o...")
- 01:14, 11 November 2019 (diff | hist) . . (+24) . . Edu:Category
- 01:14, 11 November 2019 (diff | hist) . . (-3) . . Edu:Category
- 01:13, 11 November 2019 (diff | hist) . . (+2) . . Edu:Realizable Entity
- 01:12, 11 November 2019 (diff | hist) . . (-1) . . Edu:Realizable Entity
- 01:12, 11 November 2019 (diff | hist) . . (+392) . . N Edu:Realizable Entity (Created page with " == Realizable Entity== === Definitions=== '''D1''' [ [TermlistReferences#arpetal2015 Arp et al., 2015] ] ** '''A specifically dependent continuant entity that has...")
- 01:10, 11 November 2019 (diff | hist) . . (+385) . . N Edu:Material Entity (Created page with " == Material Entity== === Definitions=== '''D1''' [ [TermlistReferences#arpetal2015 Arp et al., 2015] ] * '''An independent continuant that has some portion of matter...")
- 01:08, 11 November 2019 (diff | hist) . . (+675) . . N Edu:Abstract Entity (Created page with " == Abstract Entity == # An abstract entity may be one constructed by the mind through the process of ABSTRACTION. But the term is also sometimes used for entities regarded as...")
- 01:07, 11 November 2019 (diff | hist) . . (+1,323) . . N Edu:Entity (Created page with " == Entity== # something that has separate and distinct existence and objective or conceptual reality (Source: Merriam-Webster's Collegiate Dictionary) === Definitions=== '...")
- 01:04, 11 November 2019 (diff | hist) . . (+306) . . N Edu:Endurant (Created page with " == Endurant == # Something is an endurant if (i) it exists at more than one moment and (ii) its parts can be determined only relatively to something else (for instance time)...")
- 01:03, 11 November 2019 (diff | hist) . . (+690) . . N Edu:Domain (Created page with " == Domain == # A field or sphere of activity, influence or expertise. (from https://en.wiktionary.org/wiki/domain) # A delineated portion or sphere of reality corresponding t...")
- 01:02, 11 November 2019 (diff | hist) . . (+1,057) . . N Edu:Disposition (Created page with " == Disposition == # prevailing tendency, mood, or inclination (Source: Merriam-Webster's Collegiate Dictionary) # a tendency of an object or system to act or react in charact...")
- 01:01, 11 November 2019 (diff | hist) . . (+746) . . N Edu:Controlled Vocabulary (Created page with " == Controlled Vocabulary == # An organized arrangement of words and phrases used to index content and/or to retrieve content through browsing or searching. It typically incl...")
- 00:59, 11 November 2019 (diff | hist) . . (+1,750) . . N Edu:Continuant (Created page with " == Continuant == # Entities that continue or persist through time, such as objects, qualities, and functions. (Source: Arp, R., & Smith, B. (2008). ''Fu...")
- 00:55, 11 November 2019 (diff | hist) . . (+75) . . N Category:Term (Created page with "The terms that are of special relevance to ontology practitioners.") (current)
- 00:53, 11 November 2019 (diff | hist) . . (+1) . . Edu:Concept
- 00:52, 11 November 2019 (diff | hist) . . (+1,453) . . N Edu:Concept (Created page with " == Concept == # something conceived in the mind (Source: Merriam-Webster's Collegiate Dictionary. https://www.merriam-webster.com/dictionary/concept) # Concepts are the const...")
- 00:49, 11 November 2019 (diff | hist) . . (+342) . . N Edu:Defined Class (Created page with " == Defined Class == # A collection of individuals that are grouped together by virtue of their exhibiting some combination of characteristics that does not correspond to...")
- 23:49, 10 November 2019 (diff | hist) . . (+21) . . Edu:Class
- 23:48, 10 November 2019 (diff | hist) . . (+2,580) . . N Edu:Class (Created page with " ==Class== # a group, set, or kind sharing common attributes term (Source: Merriam-Webster's Collegiate Dictionary. (Source: https://www.merriam-webster.com/dictionary/c...")
- 23:10, 10 November 2019 (diff | hist) . . (-6) . . Edu:Term List
- 23:07, 10 November 2019 (diff | hist) . . (+931) . . N Edu:Category (Created page with " == Category == # A division within a system of classification. # Any of several fundamental and distinct classes to which entities or concepts belong. Reference: Merriam-We...")
- 23:03, 10 November 2019 (diff | hist) . . (+4,050) . . N Edu:Term List (Created page with " This website is devoted to '''terms and their definitions used in applied ontology'''. It is intended to provide guidance on the meanings and uses of terms, which may vary gr...")
- 04:17, 6 November 2019 (diff | hist) . . (+30) . . User:KenBaclawski
- 04:12, 6 November 2019 (diff | hist) . . (+21) . . User:KenBaclawski
- 04:11, 6 November 2019 (diff | hist) . . (+1,200) . . N User:KenBaclawski (Created page with "= Ken Baclawski = Kenneth Baclawski College of Computer and Information Science Northeastern University Boston, Massachusetts, USA. E-mail: ken-at-baclawski.com Cell: 339-92...")
- 19:57, 7 October 2019 (diff | hist) . . (-2) . . Property:Participant (current)
- 19:57, 7 October 2019 (diff | hist) . . (+68) . . N Property:Participant (Created page with "This is a person who participates in a meeting Has type::Person.")
- 19:47, 7 October 2019 (diff | hist) . . (+97) . . N Category:Person (Created page with "This is the category of persons. Each page with this category is the namesake page of the person.") (current)
- 19:41, 7 October 2019 (diff | hist) . . (+2,469) . . N Category:SWAO (Created page with "<skin>Bouquet</skin> <table border="1"> <tr> <td> Home </td> <td> Projects </td> <td> SIG Events &nbs...")
- 19:38, 7 October 2019 (diff | hist) . . (+538) . . N Category:Meeting (Created page with "A meeting is an assembly of persons for a specific purpose. A meeting has a date when it occurs, a convener who runs the meeting, a duration of time that it is scheduled to o...") (current)
- 19:24, 7 October 2019 (diff | hist) . . (+48) . . N Property:Sequence (Created page with "This is a property of type Has type::Number.") (current)
- 19:23, 7 October 2019 (diff | hist) . . (+46) . . N Property:Has date (Created page with "This is a property of type Has type::Date.")
- 19:21, 7 October 2019 (diff | hist) . . (+270) . . N Property:Duration (Created page with "This is a property of type Has type::Quantity. Specify a duration with a number and a unit. Units can be second, minute, hour, or day. Corr...")
- 19:19, 7 October 2019 (diff | hist) . . (+46) . . N Property:Convener (Created page with "This is a property of type Has type::Page.")
- 21:44, 23 September 2019 (diff | hist) . . (+1,166) . . Main Page