Predicate
OWL Lite
OWL DL
Ontology
Reasoner
OWL Full
Description Logics (DL)
property
Literal
(Sir) Timothy John Berners
Model Theory
RDF Graph
subclass
class
probe class |
resource
owl:Thing
taxonomy
universal restrictions
Web 3.0
OWL
restriction
Closed World Assumption
OWL - Web Ontology Language
RDF
axiom
Blank Node
Individuals
SHER
Entailment (logical implication) |