Есть любопытство, связанное с управлением предикатом Prolog. Предположительно у меня есть предикат f (A, X) и g (B). f (A, X): - a, b, c, g (X). g (B): - верно. a - возвращает истину b - возвращает истину. c - возвращает false. где a, ...

в RDF оператор представлен с помощью S, P и O; В OWL owl: ObjectProperty представляет логику предиката. (S) (P) (O) Мне нравится собака

object properties rdf predicate owl

вопрос задан: 7 September 2010 15:25