A special kind of Situation that allows to include time indexing for the hasPart relation in situations.
For example, if a Situation s 'finally, my bike has a luggage rack' isSettingFor the entity 'my bike' and the TimeIntervals 'now', or more specifically '29March2021', we need to have a time-index the part relation. With Parthood, we use includesWhole and includesPart properties.
This can be done similarly for other arguments of parthood, e.g. location, configuration, topology, etc.
Concerning the possible property characteristics reused from mereology (transitivity, asymmetry, reflexivity), they need to be implemented by means of rules (or, in a limited way, property chains using the binary hasPart or hasProperPart properties).
A key is also added to ensure identification constraints of time-indexed parthood.
Attributes | Values |
---|
type
| |
subClassOf
| |
label
| |
comment
| - A special kind of Situation that allows to include time indexing for the hasPart relation in situations.
For example, if a Situation s 'finally, my bike has a luggage rack' isSettingFor the entity 'my bike' and the TimeIntervals 'now', or more specifically '29March2021', we need to have a time-index the part relation. With Parthood, we use includesWhole and includesPart properties.
This can be done similarly for other arguments of parthood, e.g. location, configuration, topology, etc.
Concerning the possible property characteristics reused from mereology (transitivity, asymmetry, reflexivity), they need to be implemented by means of rules (or, in a limited way, property chains using the binary hasPart or hasProperPart properties).
A key is also added to ensure identification constraints of time-indexed parthood.
|
Creator
| |
described by
| |
Date
| |
hasKey
| |
is topic
of | |
Faceted Search & Find service v1.17_git144 as of Jul 26 2024
OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 39 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software