14
Sycara and Paolucci
Types and quantifiers on Properties
*Different types of properties
*Transitivity, Symmetry, Function, Inverse etc…
•Transitivity:
• Joe siblingOf Sally and Sally siblingOf Bob then Joe siblingOf Bob
•Inverse: Joe siblingOf Sally then Sally siblingOf Joe
*Cardinality restrictions
*Specify how many elements are in relation with each other
*at-most, at-least, exactly, optionality (0 or more)
•Bird has (exactly) 2 Wing
*Type restrictions
*Identifies subclasses that have some restriction on a property P
•Bottle madeOf Material
•Glass subclassOf Material
•GlassBottle subclassOf Bottle madeOf Glass