User contributions
From IAOA Wiki
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 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...")
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)