wiki #owl #owl 1 page tagged with "owl" reasoning reasoning ontology overview — formal rdf/owl specification for representing arguments, inference rules, and reasoning structures back to wiki