🦉 OWL — Web Ontology Language

Lecture 5 Interactive Learning Companion

🦉 OWL Vocabulary Explorer

Explore OWL 2 constructs interactively. Select a category to see the vocabulary, syntax, and examples.

// Select a category above to explore OWL 2 constructs
📚 Remember: OWL 2 builds on RDF/RDFS. Every OWL ontology is a valid RDF document. OWL adds: equality/inequality, property characteristics, boolean class constructors, restrictions, and formal reasoning.

🏗️ OWL Class Builder

Build OWL class expressions using Manchester Syntax. Combine classes with union, intersection, complement, and restrictions.

Generated OWL Turtle:

@prefix ex: <http://example.org/> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . # Add classes above and click Generate!
💡 Tip: Use owl:equivalentClass for defined classes (automatic classification) and rdfs:subClassOf for primitive classes (necessary conditions only).

🔗 Property Characteristics Lab

Experiment with OWL property characteristics. Define properties, set their type, and see what a reasoner would infer.

Inferred Triples:

Define properties and assertions above, then click "Run Reasoner"
⚙️ Property Types: Inverse, Transitive, Symmetric, Asymmetric, Reflexive, Irreflexive, Functional, InverseFunctional. Each enables different inferences.

🧠 OWL Reasoning Simulator

Watch step-by-step how an OWL reasoner processes an ontology: from axioms to inferred knowledge.

Select a scenario above

🌍 Open World Assumption: What is not stated is unknown, not false. OWL does not assume unique names either — two URIs may refer to the same thing unless stated otherwise.

🎮 OWL Modelling Game

Test your understanding of OWL 2 concepts, property characteristics, and reasoning!

Score: 0
Question 1 / 10

Press "Start Game" to begin!

📝 Lecture 5 Quiz

Test your understanding of OWL 2: vocabulary, properties, classes, reasoning, and profiles!

1. What does OWL stand for?
Ontology Web Language
Web Ontology Language
Object Web Language
Open World Language
1 / 12

📋 OWL 2 Cheat Sheet

Quick reference for OWL 2 vocabulary, property characteristics, class constructors, and profiles.

⚖️ Equality & Inequality

owl:sameAs — Two URIs refer to the same individual
owl:differentFrom — Two URIs are different individuals
owl:AllDifferent — Set of mutually distinct individuals
owl:equivalentClass — Two classes have the same members
owl:equivalentProperty — Two properties relate the same pairs
owl:disjointWith — Two classes share no members
owl:AllDisjointClasses — Set of mutually disjoint classes
owl:disjointUnionOf — Class = union of disjoint subclasses

⚙️ Property Characteristics

owl:inverseOf — teaches / taughtBy owl:TransitiveProperty — locatedIn, ancestorOf owl:SymmetricProperty — friendOf, marriedTo owl:AsymmetricProperty — parentOf, employs owl:ReflexiveProperty — knows (self) owl:IrreflexiveProperty— parentOf (not self) owl:FunctionalProperty — hasMother (max 1) owl:InverseFunctionalProperty — hasSSN

🧩 Class Constructors

owl:intersectionOf — AND: FemaleProfessor = Female ∩ Professor
owl:unionOf — OR: Academic = Professor ∪ Lecturer
owl:complementOf — NOT: NonEuropean = ¬European
owl:oneOf — Enum: Weekday = {Mon, Tue, Wed, Thu, Fri}
owl:someValuesFrom — ∃ (existential): hasChild some Female
owl:allValuesFrom — ∀ (universal): hasChild only Person
owl:hasValue — nationality value DK
owl:minCardinality / maxCardinality / cardinality

⚡ OWL 2 Profiles

OWL 2 Full: Undecidable. Maximum expressiveness.
OWL 2 DL: ≈ SROIQ(D). 2NExpTime. Full reasoning.
OWL 2 EL: PTime. Large ontologies (SNOMED CT).
OWL 2 QL: NLogSpace. OBDA over databases.
OWL 2 RL: PTime. Rule engines.

🧠 Reasoning Tasks

Consistency: Is the ontology contradiction-free?
Satisfiability: Can a class have instances?
Subsumption: Is A a subclass of B?
Classification: Which classes does an individual belong to?
Retrieval: Which individuals belong to a class?

⚠️ Key Assumptions & Pitfalls

Open World: Not stated ≠ false
No Unique Names: Different URIs may = same thing
❌ allValuesFrom alone is vacuously true
❌ domain/range causes inference, not constraint
❌ subClassOf ≠ equivalentClass (no auto-classify)
❌ Overusing owl:sameAs merges ALL properties