Thursday, November 04, 2004
A Proposal for a SWRL Extension to First-Order Logic
A Proposal for a SWRL Extension to First-Order Logic: "Abstract
This is a description of a proposed extension of SWRL to handle unary/binary first-order logic. This is intended to be a minimal extension that fits well with SWRL, OWL, and RDF. "
This is a description of a proposed extension of SWRL to handle unary/binary first-order logic. This is intended to be a minimal extension that fits well with SWRL, OWL, and RDF. "
0 Comments:
