Cardinalité
Comment exprimer la cardinalité en OWL ?
Cas d'étude : "the celestial objects include the eight planets"
Représentation AMR :
(i / include-01
:ARG1 (p / planet
:quant 8))
:ARG2 (o / object
:mod (c / celestial))
Quels sont les factoïdes dans ce cas ?
Proposition :
- :celestial-object is-a :object
- :celestial-object :include :planet (restriction)
- :celestial-object :include :eight-planet (restriction)
Question : comment définir cet ensemble ? (prop) définir un sous-ensemble de planètes, et préciser la taille de cet ensemble.
Edited by David Rouquet