Quiz 8
Completion requirements
\( Car(myCar) \)
\( driveAxle(myCar, axle1) \)
\( driveAxle(myCar, axle2) \)
Due: Monday, 13 November 2023, 12:00 AM
Escolha uma questão?
- Das características abaixo, quais uma propriedade do tipo DataProperty pode ter? Explique.
- reflexive
- transitive
- functional
- symmetric
- inverses
- Usando os axiomas abaixo, é possível determinar se o myCar é um FourByFour? Explique.
\( FourByFour \subseteq Car\)
\( Single \subseteq Car \)
\( Single \subseteq \leq _{1} driveAxle. T \)
\( Single \subseteq Car \)
\( Single \subseteq \leq _{1} driveAxle. T \)
\( Car(myCar) \)
\( driveAxle(myCar, axle1) \)
\( driveAxle(myCar, axle2) \)
\( axle1 \neq axle2 \)