У меня есть только следующее заявление Черепахи:
x isAuthorOf y
Если у меня есть только этот оператор, где isAuthorOf используется в качестве предиката, это означает, что я могу заключить, что isAuthorOf также является свойством без экземпляров (isAuthorOf rdf: type rdfs: Property)?
Спасибо заранее.