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