Pellet对SWRL的支持
来源:互联网 发布:现代房屋设计视频软件 编辑:程序博客网 时间:2024/05/17 23:35
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:listIntersectionSatisfied iff the first argument is a list containing elements found in both the list the second argument and the list the third argument.swrlb:listSubtractionSatisfied 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:memberSatisfied 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:sublistSatisfied 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.
- Pellet对SWRL的支持
- 对事务的支持
- 对视频的支持
- 一些与OWL相关的推理机的区别(如:Jess、Jena、Pellet等)
- spring对Junit的支持、spring对Aop的支持
- CEGui对中文的支持
- ATL对包容的支持
- NMS对Flash的支持
- ATL对聚合的支持
- FLEX2对SVG的支持
- TestComplete对数据库的支持
- PHP对XML的支持
- DotNet对同步的支持
- TinyXml对Unicode的支持
- Spring对Hibernate的支持
- spring对DAO的支持
- BOA对COOKIE的支持
- Spring对JDBC的支持
- GTK+2.0 中的容器控件与布局技巧
- UAP Resource
- C语言数组下标太大怎么办?
- 快速排序比较好的一种理解方式
- ios:用代码向视图中添加各种控件
- Pellet对SWRL的支持
- POJ_2485 Highway_Prim
- 身体锻炼,饮食健康,生活规律,心情愉悦
- (状态压缩) Hie with the Pie (P3311)
- 【Java TCP/IP Soket】— TCP套接字的基本使用
- 使用json的时候出现NestableRuntimeException异常
- 数据结构算法之图
- 四元数相关
- struts2 404处理