Pellet对SWRL的支持

Pellet 2.0及其以上的版本对SWRL的支持并不完整，这些不支持：

swrlb:listConcat (from Common Lisp append) 
Satisfied iff the first argument is a list representing the concatenation of the lists the second argument through the last argument.

swrlb:listIntersection
Satisfied iff the first argument is a list containing elements found in both the list the second argument and the list the third argument.

swrlb:listSubtraction
Satisfied iff the first argument is a list containing the elements of the list the second argument that are not members of the list the third argument.

swrlb:member
Satisfied iff the first argument is a member of the list the second argument.

swrlb:length (from Common Lisp list-length) 
Satisfied iff the first argument is the length of the list the second argument (number of members of the list).

swrlb:first (from rdf:first) 
Satisfied iff the first argument is the first member of the list the second argument.

swrlb:rest (from rdf:rest) 
Satisfied iff the first argument is a list containing all members of the list the second argument except the first member (the head).

swrlb:sublist
Satisfied iff the list the first argument contains the list the second argument.

swrlb:empty (from rdf:nil) 
Satisfied iff the list the first argument is an empty list.

这些只支持前五个：

swrlb:yearMonthDuration (from XQuery xdt:yearMonthDuration) 
Satisfied iff the first argument is the xsd:duration representation consisting of the year the second argument and month the third argument.

swrlb:dayTimeDuration (from XQuery xdt:dayTimeDuration) 
Satisfied iff the first argument is the xsd:duration representation consisting of the days the second argument, hours the third argument, minutes the fourth argument, and seconds the fifth argument.

swrlb:dateTime 
Satisfied iff the first argument is the xsd:dateTime representation consisting of the year the second argument, month the third argument, day the fourth argument, hours the fifth argument, minutes the sixth argument, seconds the seventh argument, and timezone the eighth argument.

swrlb:date 
Satisfied iff the first argument is the xsd:date representation consisting of the year the second argument, month the third argument, day the fourth argument, and timezone the fifth argument.

swrlb:time 
Satisfied iff the first argument is the xsd:time representation consisting of the hours the second argument, minutes the third argument, seconds the fourth argument, and timezone the fifth argument.

swrlb:addYearMonthDurations (from XQuery op:add-yearMonthDurations) 
Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic sum of the yearMonthDuration the second argument through the yearMonthDuration the last argument.

swrlb:subtractYearMonthDurations (from XQuery op:subtract-yearMonthDurations) 
Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic difference of the yearMonthDuration the second argument minus the yearMonthDuration the third argument. 

swrlb:multiplyYearMonthDuration (from XQuery op:multiply-yearMonthDuration) 
Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic product of the yearMonthDuration the second argument multiplied by the third argument. 

swrlb:divideYearMonthDurations (from XQuery op:divide-yearMonthDuration) 
Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic remainder of the yearMonthDuration the second argument divided by the third argument. 

swrlb:addDayTimeDurations (from XQuery op:add-dayTimeDurations) 
Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic sum of the dayTimeDuration the second argument through the dayTimeDuration the last argument. 

swrlb:subtractDayTimeDurations (from XQuery op:subtract-dayTimeDurations) 
Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic difference of the dayTimeDuration the second argument minus the dayTimeDuration the third argument. 

swrlb:multiplyDayTimeDurations (from XQuery op:multiply-dayTimeDuration) 
Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic product of the dayTimeDuration the second argument multiplied by the third argument. 

swrlb:divideDayTimeDuration (from XQuery op:divide-dayTimeDuration) 
Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic remainder of the dayTimeDuration the second argument divided by the third argument. 

swrlb:subtractDates (from XQuery op:subtract-dates) 
Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic difference of the xsd:date the second argument minus the xsd:date the third argument. 

swrlb:subtractTimes (from XQuery op:subtract-times) 
Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic difference of the xsd:time the second argument minus the xsd:time the third argument. 

swrlb:addYearMonthDurationToDateTime (from XQuery op:add-yearMonthDuration-to-dateTime) 
Satisfied iff the xsd:dateTime the first argument is equal to the arithmetic sum of the xsd:dateTime the second argument plus the yearMonthDuration the third argument. 

swrlb:addDayTimeDurationToDateTime (from XQuery op:add-dayTimeDuration-to-dateTime) 
Satisfied iff the xsd:dateTime the first argument is equal to the arithmetic sum of the xsd:dateTime the second argument plus the dayTimeDuration the third argument. 

swrlb:subtractYearMonthDurationFromDateTime (from XQuery op:subtract-yearMonthDuration-from-dateTime) 
Satisfied iff the xsd:dateTime the first argument is equal to the arithmetic difference of the xsd:dateTime the second argument minus the yearMonthDuration the third argument. 

swrlb:subtractDayTimeDurationFromDateTime (from XQuery op:subtract-dayTimeDuration-from-dateTime) 
Satisfied iff the xsd:dateTime the first argument is equal to the arithmetic difference of the xsd:dateTime the second argument minus the dayTimeDuration the third argument. 

swrlb:addYearMonthDurationToDate (from XQuery op:add-yearMonthDuration-to-date) 
Satisfied iff the xsd:date the first argument is equal to the arithmetic sum of the xsd:date the second argument plus the yearMonthDuration the third argument. 

swrlb:addDayTimeDurationToDate (from XQuery op:add-dayTimeDuration-to-date) 
Satisfied iff the xsd:date the first argument is equal to the arithmetic sum of the xsd:date the second argument plus the dayTimeDuration the third argument. 

swrlb:subtractYearMonthDurationFromDate (from XQuery op:subtract-yearMonthDuration-from-date) 
Satisfied iff the xsd:date the first argument is equal to the arithmetic difference of the xsd:date the second argument minus the yearMonthDuration the third argument. 

swrlb:subtractDayTimeDurationFromDate (from XQuery op:subtract-dayTimeDuration-from-date) 
Satisfied iff the xsd:date the first argument is equal to the arithmetic difference of the xsd:date the second argument minus the yearMonthDuration the third argument. 

swrlb:addDayTimeDurationToTime (from XQuery op:add-dayTimeDuration-to-time) 
Satisfied iff the xsd:time the first argument is equal to the arithmetic sum of the xsd:time the second argument plus the dayTimeDuration the third argument. 

swrlb:subtractDayTimeDurationFromTime (from XQuery op:subtract-dayTimeDuration-from-time) 
Satisfied iff the xsd:time the first argument is equal to the arithmetic difference of the xsd:time the second argument minus the dayTimeDuration the third argument. 

swrlb:subtractDateTimesYieldingYearMonthDuration (from XQuery fn:subtract-dateTimes-yielding-yearMonthDuration) 
Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic difference of the xsd:dateTime the second argument minus the xsd:dateTime the third argument. 

swrlb:subtractDateTimesYieldingDayTimeDuration (from XQuery fn:subtract-dateTimes-yielding-dayTimeDuration) 
Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic difference of the xsd:dateTime the second argument minus the xsd:dateTime the third argument.