DL Expressivity:ALH+(D)
Domain: provenance
knowledge provenance that includes proof-like information on how a question answering system arrived at its answer(s)
Language:owl
Syntax:owl/xml
Vocabulary details:
Classes 10
Object Properties 4
Data Properties 2
Individuals 0
Axioms 45
Logical Axioms 21
TBox Axioms 16
RBox Axioms 5
ABox Axioms 0
Concept Assertions 0
Object Property Assertions 0
Data Property Assertions 0
Annotation Assertions 3
SWRL Rules 0
OWL 2 DL false
OWL 2 RL false
OWL 2 EL false
OWL 2 QL false