Semantic Web Interest Group, Hello. What do you think of this rough-draft sketch with respect to a mapping from n-ary predicate calculus to TriG? @prefix calculus: <http://www.w3.org/community/planning/calculus/ontology#> . @prefix example: <http://example.org/#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . example:x rdf:type calculus:Variable ; calculus:type owl:Thing . example:y rdf:type calculus:Variable ; calculus:type owl:Thing . example:z rdf:type calculus:Variable ; calculus:type owl:Thing . example:p1 rdf:type calculus:Predicate ; calculus:accepts ( owl:Thing owl:Thing owl:Thing ) ; calculus:arity "3"^^xsd:int . example:p2 rdf:type calculus:Predicate ; calculus:accepts ( owl:Thing owl:Thing owl:Thing ) ; calculus:arity "3"^^xsd:int . example:g1 rdf:type calculus:ConjunctiveExpressionSet . example:g2 rdf:type calculus:ConjunctiveExpressionSet . example:g3 rdf:type calculus:ConjunctiveExpressionSet . example:g1 { example:p1 calculus:holdsFor ( example:x example:y example:z ) . } example:g2 { example:p2 calculus:holdsFor ( example:x example:y example:z ) . } example:g3 { example:g1 calculus:implies example:g2 . // or calculus:implies calculus:holdsFor ( example:g1 example:g2 ) . ? } Best regards, Adam Sobieski [1] https://www.w3.org/TR/swbp-n-aryRelations/Received on Friday, 9 December 2022 09:11:09 UTC
This archive was generated by hypermail 2.4.0 : Friday, 9 December 2022 09:11:10 UTC