Skip to content

Commit

Permalink
Dendron workspace sync
Browse files Browse the repository at this point in the history
## Synced vaults:
- public-notes

Dendron version: 0.124.0
Hostname: g11
  • Loading branch information
djradon committed Sep 9, 2024
1 parent e430531 commit ad5c401
Show file tree
Hide file tree
Showing 20 changed files with 176 additions and 31 deletions.
13 changes: 11 additions & 2 deletions ar.an-extensible-approach-to-multi-level-ontology-modelling.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
id: bgo1umvoasmlbvq3cie4hzj
title: An Extensible Approach to Multi Level Ontology Modelling
desc: ''
updated: 1725666578731
updated: 1725902157558
created: 1725511917090
---

Expand Down Expand Up @@ -32,7 +32,16 @@ created: 1725511917090
- Another approach to avoid separate entities Car and Car Model is described in (Neumayr et al. 2009), called Multi-Level Domain Modeling. Properties are annotated with meta attributes which define rules for inheritance and instantiation. E.g. for the base class Car the data property maxSpeed is annotated with :model to refer to a Car_Model while the data property Milage is annotated with :physical_entity to refer to an individual car. This allows merging the properties of Car and Car_Model into only one class Car while keeping the semantics of the properties clear.
- In a comparable approach (Frank, 2014), level numbers are assigned to properties. For Car the property Milage would be defined with level=0 which corresponds to the :physical_entity annotation in (Neumayr et al. 2009), while maxSpeed would be annotated with level=1 which corresponds to the :model annotation. Annotating properties with multiple levels or with different levels for different contexts is not possible, as is enabled in our approach.
- In (Brasileiro et al., 2016a), a fixed separation of entities into individuals, 1 st order type, 2 nd order type and 3 rd order type is proposed. Our approach is more flexible as it allows context-dependent viewpoints.
-
- Multi-facet behaviour as used in (Neumayr et al., 2009) may regard entities as classes and instances simultaneously, where needed.
- In contrast, OWL 1 DL requires a strict separation between the classes and individuals (W3C, 2012). Insofar, multi-facet behaviour is not compatible with OWL1 DL.
- OWL 2 DL relaxes this separation somewhat to allow different uses of the same term which is called [[t.cs.semantic-web.punning]].
- “e.g., Eagle, to be used for both a class, the class of all Eagles, and an individual, the individual representing the species Eagle belonging to the (meta)class of all plant and animal species”.
- However, OWL 2 DL still imposes certain restrictions, e.g., a name can only be used for one kind of property (W3C, 2012).

### Example: Animal Ontology

- based on [[prdct.wildlife-ontology-wo]] but adds [[prdct.skos]]
- we favour a simple modelling approach modelling concrete species like polar bear as instances.

## References

Expand Down
20 changes: 12 additions & 8 deletions email.gfo-users-gfo-presential-persistent-perpetuant.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,23 +2,22 @@
id: ok4x3x2gc5rczs80jtdv3fw
title: Gfo Users Gfo Presential Persistent Perpetuant
desc: ''
updated: 1725761850990
updated: 1725897721030
created: 1725562860132
---

## GFO Presential/Persistent/Perpetuant

m I understanding this right (rephrased into my own words)?

- Presential (Queen Elizabeth II) is the physical manifestation of her at a point in time, like (but not equal to) a picture, including her shape/boundary, characteristics, constituent molecules, etc.
- Presential (Queen Elizabeth II) is the physical manifestation of her at a point in time, like (but not equal to) a picture, including her shape/boundary, characteristics, constituent molecules, etc.

- Persistant (QE2) is like her identity or the social concept of her person, essentially a definition of what makes her unique, that she is a person/queen/woman/British, and the characteristics that would allow someone to recognize a presential as presential(QE2). My personal concept of “QE2” is a direct representation of this.
- Persistant (QE2) is like her identity or the social concept of her person, essentially a definition of what makes her unique, that she is a person/queen/woman/British, and the characteristics that would allow someone to recognize a presential as presential(QE2). My personal concept of “QE2” is a direct representation of this.

- Perpetuant (QE2) is the actual person (at the phenomenal level of reality at least) who is moving through time and space. If so, then these correlate most closely with the general concept of endurants.
- Perpetuant (QE2) is the actual person (at the phenomenal level of reality at least) who is moving through time and space. If so, then these correlate most closely with the general concept of endurants.

- To this can be added Process(QE2), her life/living.
- To this can be added Process(QE2), her life/living.



If I am on the right track, then this distinction makes perfect sense. However, I am confused as to why the GFO documentation spends very little time talking about perpetuants, giving a half-sentence definition (and the undefined exhib function), but no real explanation or examples, even though they seem to be the most interesting and relevant thing to real life. It isn’t even in the OWL. Conversely, presentials are dealt with at length, and integrated with the rest of the ontology, even though they are arguably the least useful aspect of the three.

Expand All @@ -30,7 +29,6 @@ What I am looking for is a good formal definition that I can use to create a sim

I’m hoping that there is other GFO-based literature out there that fleshes this out further. Any hints?



Thank you,

Expand All @@ -41,7 +39,13 @@ Brandon Plewe
## Thoughts

- no follow-up!?
- can't find any other mentions of "Perpetuant"
- can't find any other mentions of "Perpetuant", even the "half-sentence"
- the perpetuant seems abstract-ish.

### Perpetuant vs Life

- @chatgpt.4o: The perpetuant (e.g., the person) is the subject that participates in the process of living. While the perpetuant exists continuously, the process of living is broken into temporal parts (events, stages of life) that the perpetuant experiences.


### chatgpt4.o

Expand Down
4 changes: 3 additions & 1 deletion game.storm-kings-thunder.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
id: lze9mxr4te5i6z5t72lnmio
title: Storm Kings Thunder
desc: ''
updated: 1705513288984
updated: 1725905484139
created: 1705513288984
---

- superwork: [[superwork.dungeons-and-dragons.storm-kings-thunder]]
13 changes: 13 additions & 0 deletions prdct.ai-comic-maker.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
---
id: nxok1c7w7a2tophumnl70nf
title: Ai Comic Maker
desc: ''
updated: 1725907700031
created: 1725904911977
---

- https://app.aiprm.com/gpts/g-1LM0T9LSW/ai-comic-maker

## Issues

- probably just chatgpt issues, but unsatisfying images and characters look different between frames.
9 changes: 9 additions & 0 deletions prdct.icewind-dale-rime-of-the-frostmaiden.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
---
id: vh91ou542gzwjjdz62b6cvj
title: 'Icewind Dale: Rime of the Frostmaiden'
desc: ''
updated: 1725905303822
created: 1725905276609
---

- [[c.Work.superwork]] [[superwork]]
11 changes: 11 additions & 0 deletions prdct.semanticscience-integrated-ontology-sio.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
---
id: fo3bb378l82fp945gplpihd
title: Semanticscience Integrated Ontology Sio
desc: 'provides a simple, integrated ontology of types and relations for rich description of objects, processes and their attributes. '
updated: 1725901326865
created: 1725901230199
---

- https://ontobee.org/ontology/SIO
- repo: https://github.com/MaastrichtU-IDS/semanticscience
- owl: https://raw.githubusercontent.com/micheldumontier/semanticscience/master/ontology/sio/release/sio-release.owl
3 changes: 2 additions & 1 deletion prdct.seon-software-engineering-ontology-network.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,10 @@
id: a1walbhiiv6ghzlpmst3stl
title: Seon Software Engineering Ontology Network
desc: 'well-grounded network of SE ontologies'
updated: 1721795723421
updated: 1725900808870
created: 1721795660266
---

- https://dev.nemo.inf.ufes.br/seon/
- [[c.ontology]]
- based-on: [[prdct.unified-foundational-ontology]]
5 changes: 2 additions & 3 deletions prdct.unified-foundational-ontology.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
id: rtuuqd5q8nrxidfii77jh9n
title: Unified Foundational Ontology
desc: ''
updated: 1724777098078
updated: 1725900830412
created: 1698268407267
---

Expand All @@ -13,8 +13,7 @@ created: 1698268407267
- https://nemo.inf.ufes.br/en/projetos/ufo/
- http://dev.nemo.inf.ufes.br/seon/UFO.html
- similar: [[prdct.unified-foundational-ontology.gentle]] [[prdct.sumo]] [[prdct.gfo]] [[prdct.dolce]]
- related: [[prdct.ontouml]] [[prdct.unified-foundational-ontology.eUFO]] [[prdct.seon-
- software-engineering-ontology-network]]
- related: [[prdct.ontouml]] [[prdct.unified-foundational-ontology.eUFO]] [[prdct.seon-software-engineering-ontology-network]]
- based_on: [[prdct.dolce]] [[prdct.gfo]] [[prdct.ontoclean]]
- repo: https://github.com/unibz-core/ufo-formalization
- docs: [[ar.a-first-order-logic-formalization-of-the-unified-foundational-ontology]]
Expand Down
16 changes: 16 additions & 0 deletions prdct.watson.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
---
id: 91d0qteos42k170spmyjbvg
title: Watson
desc: 'innovative gateway for the Semantic Web: '
updated: 1725900641478
created: 1725900566185
---

https://kmi.open.ac.uk/technologies/name/watson/
- [[c.software.semantic.search-engine]]

## Features

- 1) collects the available semantic content on the Web,
- 2) analyzes it to extract useful metadata and indexes,
- 3) implements efficient query facilities to access these data
9 changes: 9 additions & 0 deletions prdct.wildlife-ontology-wo.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
---
id: d2std5ek5jv9yxmydprxhwc
title: Wildlife Ontology Wo
desc: ''
updated: 1725902090950
created: 1725902070946
---

- https://www.bbc.co.uk/ontologies/wildlife-ontology/
12 changes: 12 additions & 0 deletions superwork.dungeons-and-dragons.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
---
id: c4bsrhaevnu6kthfzmehtfr
title: Dungeons and Dragons
desc: ''
updated: 1725906612730
created: 1725905345334
---

## References

- [[game.dungeons-and-dragons]]
- [[t.rec.dungeons-and-dragons]]
7 changes: 7 additions & 0 deletions superwork.dungeons-and-dragons.rime-of-the-frostmaiden.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
id: 0q5vtpjf1i033s28trgfv1c
title: Rime of the Frostmaiden
desc: ''
updated: 1725905345328
created: 1725905345328
---
7 changes: 7 additions & 0 deletions superwork.dungeons-and-dragons.storm-kings-thunder.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
id: nvybdysewvuvur5f2z1oa1e
title: Storm Kings Thunder
desc: ''
updated: 1725905426441
created: 1725905426441
---
5 changes: 4 additions & 1 deletion superwork.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,13 @@
id: 4qppc4bpj9d3and3abrlvty
title: Superworks
desc: ''
updated: 1725468959272
updated: 1725905375112
created: 1725467377954
---

## Examples

- [[superwork.dungeons-and-dragons.rime-of-the-frostmaiden]]

## References

Expand Down
12 changes: 12 additions & 0 deletions t.cs.semantic-web.punning.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
---
id: zn69covcjwwcjjb2emz8bex
title: Punning
desc: ''
updated: 1725901861053
created: 1725901817836
---


## References

- [[book.semantic-modeling-for-data]]
19 changes: 19 additions & 0 deletions t.km.ontology.powerclass.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
---
id: 5fk5ee3uzu3f9ehpc3f3lib
title: Powerclass
desc: ''
updated: 1725898663072
created: 1725898507569
---


## Issues

- is a powertype just a metatype whose instances are used in the inheritance hierarchy of another class?
- a class could have multiple powertypes.
- multiple-inheritance
-

## References

[[ar.an-extensible-approach-to-multi-level-ontology-modelling]]
14 changes: 0 additions & 14 deletions t.phil.mentefact.md

This file was deleted.

14 changes: 14 additions & 0 deletions t.phil.mentifact.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
---
id: am3vdzxwflmx2zyq8te0wrr
title: Mentifact
desc: things in the head
updated: 1725902401370
created: 1724341361388
---

- collections of ideas
- a concept from anthropology and cultural studies that refers to the ideas, beliefs, values, and knowledge that make up the non-material aspects of culture

## References

- [[ar.isko.work]]
11 changes: 11 additions & 0 deletions user.prince.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
---
id: eaiv0f6mc3dl7lezu0b7gxf
title: Prince
desc: ''
updated: 1725898886285
created: 1725898876345
---

## References

- https://www.nytimes.com/2024/09/08/magazine/prince-netflix-ezra-edelman-documentary.html
3 changes: 2 additions & 1 deletion vs.class-vs-individual.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
id: x4h93xhzc9ab85h4x3tlfko
title: Class Vs Individual
desc: aka metaclasses vs superclasses
updated: 1725666342810
updated: 1725898374816
created: 1716575654799
---

Expand All @@ -28,6 +28,7 @@ created: 1716575654799

- just like my Dendron notes, do we have separate classes for things, or can concepts just double as classes?
- based on my experience, it's better to just have one class/concept/universal, but can be aliased from multiple places
- t.2024.09.09.09 thinking about this more in

### Classes as Values

Expand Down

0 comments on commit ad5c401

Please sign in to comment.