| Table of contentsThe Web Ontology Language The Semantic Web Web identifiers: URIs From Links to Assertions RDF Graphs RDF Syntax RDF Inference From Facts to Taxonomies RDF Schema From Taxonomies to Ontologies What is an Ontology? What is an Ontology? II Desiderata for a Web Ontology Language Two varieties of OWL Class Expression Constructors Class Axioms Property Axioms Facts Ontology Headers Multiple Ontologies: owl:imports Metamodeling Metamodeling II Difficulties with OWL Full OWL DL Description Logics Traditional Semantics Annotation Properties Difficulties with OWL DL Problems with OWL SWRL (neƩ OWL Rules) |