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) |