Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Reasoners - WSML2Reasoner Framework (cont')

  • Reasoning WSML-DL
  • Supported through semantics-preserving syntactic transformation of WSML-DL ontologies to OWL-DL ontologies.
    • Relations to attributes – replacing relations, subrelations, and relation instances by attributes and axioms,
    • Axiomatization - conversion of conceptual elements into appropriate axioms,
    • Implication reduction rules – replacing equivalences and right implications in logical expressions by left implications,
    • Inverse implication reduction rules – replace conjunctions on the left side and disjunctions on the right side of an inverse implication by left implications,
    • Molecule decomposition rules – replace complex molecules inside logical expressions by conjunctions of cimple ones, and
    • OWL API transformation – each logical expression is translated into the corresponding OWL descriptions
  • Supported reasoning tasks
    • Knowledge base consistency, concept satisfiability, concept subsumption, instance checking, realization, instance retrieval

Speaker notes:

Content Tools


There are currently no sources for this slide.