Note that there are some explanatory texts on larger screens.

plurals
  1. POI need to connect an Individual to a Class through an ObjectProperty, but can't because OWL-DL does not allow it. Is There a workaround for this?
    primarykey
    data
    text
    singulars
    1. This table or related slice is empty.
    plurals
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. COWhat are you trying to say by the statement ":Service1 :hasInput :Location"? loopasam's answer is probably along the lines of what you need, but it depends on what exactly you're trying to say. Does :Service1 actually have the class :Location as an input, or does it have instances of :Location as inputs, or …?
      singulars
    2. COI ultimately wanted to express that `:Service1 :hasInputType :Location`, and this is different from saying that it has an instance of location as input because the latter implies that there is some instance of `:Location` that is the input to `:Service1`. I should have named the predicate better, I'll edit my question to make this clearer.
      singulars
    3. CODoes "Service1 hasInputType Location" mean that (note hasInputType/hasInput distinction): "for every x such that Service hasInput x, x is a location"? If it does, then you can say "Service1 a (hasInput only Location)". This doesn't require that there _is_ actually some Location instance that is an input to Service1, but just that _if_ there is some inputs, then those inputs are Locations.
      singulars
 

Querying!

 
Guidance

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload