Skip to content

Instantly share code, notes, and snippets.

@0robustus1

0robustus1/simple-owl-network.dol

Created March 10, 2015 15:22
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save 0robustus1/9ce1457915c4c4023669 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save 0robustus1/9ce1457915c4c4023669 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
simple-owl-network.dol
logic OWL
ontology Vehicle =
Class: Car
Class: Truck SubClassOf: Car
Class: Pickup SubClassOf: Car
end
ontology ManualVehicle =
Class: Bicycle
Class: Motorcycle
end
network Vehicles =
Vehicle, ManualVehicle
end
ontology DisjointUnionVehicles =
combine Vehicles
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment