Sign in

A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.

Boontawee SuntisrivarapornGuilin QiQiu JiPeter Haase
Published in: ASWC (2008)
Keyphrases
  • owl dl
  • description logics
  • semantic web
  • reasoning problems
  • formal semantics
  • reasoning systems
  • query language
  • data sources
  • ontology languages
  • owl dl ontology