会议论文详细信息
| 2007 International Workshop on Description Logics | |
| Practical Conforming Datatype Groups | |
| Dave Turner and Jeremy J. Carroll {DavidT ; Jeremy.Carroll}@hp.com | |
| Others : http://CEUR-WS.org/Vol-250/paper_18.pdf PID : 25651 |
|
| 来源: CEUR | |
 PDF
|
|
【 摘 要 】
The proposed OWL 1.1 language is based on the descriptionlogics SROIQ and SHOQ(Dn), whose features include the use of n- ary datatype predicates. The means of specifying such predicates, which must be usefully expressive without breaking decidability properties, is
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| Practical Conforming Datatype Groups | 97KB |  download |
878987797
028-85220240
