So, it can be written as:
EquivalentClasses(
š:MyClass
ObjectOneOf( _ )
)
This is not optimal for my particular problem domain, because the above is a relatively complex structure (there are at least two constructs involved: "EquivalentClasses" and "ObjectOneOf"), and thus the query whether a particular class is known as a singleton goes complex. (By the way I do not use anything like SPARQL, but write RDF queries directly in Ada, a high-level wide-spectrum programming language, both for simplicity of programming and for efficiency.)
š
Please give me another way to code it.
š
17.11.2014, 00:09, "Patrick Logan" <patrickdlogan@gmail.com>:
On Sun, Nov 16, 2014 at 1:52 PM, Victor Porton
<porton@narod.ru> wrote:
Is there any advise on how to code in RDFS or OWL the following statement?
"The class X has exactly one element."
--
Victor Porton - http://portonvictor.org
š
š
--
Victor Porton - http://portonvictor.org
š