Skip to content

Instantly share code, notes, and snippets.

@mhgrove
Created March 3, 2011 16:15
Show Gist options
  • Select an option

  • Save mhgrove/853022 to your computer and use it in GitHub Desktop.

Select an option

Save mhgrove/853022 to your computer and use it in GitHub Desktop.
Example OWL ontology
Prefix: : <http://example.com/#>
Class: Professor
DisjointWith: Student
Class: GraduateStudent
Class: UndergraduateStudent
Class: Student
EquivalentTo: GraduateStudent or UndergraduateStudent
Class: Instructor
EquivalentTo: Professor or GraduateStudent
Individual: John
Types: Instructor, Student
ObjectProperty: hasInstructor
ObjectProperty: hasAuthor
Class: Course
SubClassOf: (hasInstructor exactly 2 Instructor) and (hasInstructor exactly 1 Professor) and (hasInstructor exactly 1 GraduateStudent)
Class: Publication
Class: StudentPublication
EquivalentTo: Publication and hasAuthor min 1 Student
Individual: Alice
Types: Instructor
Individual: Bob
Types: Instructor
DifferentFrom: Alice
Individual: CS101
Types: Course
Facts: hasInstructor Alice , hasInstructor Bob
Individual: AliceBobPublication
Types: Publication
Facts: hasAuthor Alice , hasAuthor Bob
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment