wiki#owl#owl1page tagged with "owl"reasoningreasoning ontology overview— formal rdf/owl specification for representing arguments, inference rules, and reasoning structuresback to wiki