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