W3C - World Wide Web Consortium
Previous Table of Contents Table of Contents Next

OWL
OWL and Logic


  • OWL expresses a small subset of First Order Logic
    • it has a “structure” (class hierarchies, properties, datatypes…),
    • and “axioms” can be stated within that structure only
    • i.e., OWL uses FOL to describe “traditional” ontology concepts…
    • …but it is not a general logic system per se!
  • Inference based on OWL is within this framework only
    • it seems modest, but has proven to be remarkably useful…
    • people in knowledge representation know that!

Ivan Herman, W3C 96 (134)