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
- Knowledge base consistency, concept satisfiability, concept subsumption, instance checking, realization, instance retrieval
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.