previous contents

... and something more ...


RDFS is useful, but does not solve all the issues.
Complex applications may want more possibilities.

Reasoning
can a program reason about some terms? E.g.:
  • "if «A» is father of «B» and «B» is father of «C», is «A» grand-parent of «C»?"
  • obviously true for humans, not obvious for a program ...
  • ... programs should be able to deduce such statements
Equivalences
  • if somebody else defines a set of terms: are they the same?
  • obvious issue in an international context
Classes and constraints
  • construct classes, not just name them
  • restrict a property range when used for a specific class
  • etc.

14/28

 previous