2016-01-29_wangcong_presentation.pdf
文本预览下载声明
- Memect
2016 1 28
OWL
(semantics) (entities)
▶ TBox (subClassOf, objectProperty, etc.)
▶ RBox (Property Chains, etc.)
▶ ABox (typeOf, etc.)
▶ RDF
▶ RDFS
▶ OWL (DL)
▶ OWL EL
▶ OWL RL
▶ OWL QL
(FOL) W3C OWL
▶ (Concept or Class)
:
▶ (Role or Property)
:
▶ (Individual)
:
1
▶ TBox
⊑
⊑ hasPresident.CEO
▶ RBox
hasFather ◦ hasFather ⊑ hasGrandFather
▶ ABox
CEO()
1http://dblp.uni-trier.de/db/conf/dlog/handbook2003.html
▶ OWL NExpTime-complete
▶ OWL 2 2NExpTime-complete
▶ OWL 2 EL PTime-complete
▶ OWL 2 RL PTime-complete
▶ OWL 2 QL AC
▶ TBox
TechCompany(x) Company(x)
Company(x) hasPresident(x,y) CEO(y)
▶ RBox
hasFather(x, y) hasFather(y,z) hasGrandFather(y,z)
▶ ABox
CEO()
OWL
OWL
显示全部