Material Detail

Empirical Study of Logic-Based Modules: Cheap Is Cheerful

Empirical Study of Logic-Based Modules: Cheap Is Cheerful

This video was recorded at 12th International Semantic Web Conference (ISWC), Sydney 2013. For ontology reuse and integration, a number of approaches have been devised that aim at identifying modules, i.e., suitably small sets of "relevant" axioms from ontologies. Here we consider three logically sound notions of modules: MEX modules, only applicable to inexpressive ontologies; modules based on semantic locality, a sound approximation of the first; and modules based on syntactic locality, a sound approximation of the second (and thus the first), widely used since these modules can be extracted from OWL DL ontologies in time polynomial in the size of the ontology. In this paper we investigate the quality of both approximations over a large corpus of ontologies, using our own implementation... Show More
Rate

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Browse...

Disciplines with similar materials as Empirical Study of Logic-Based Modules: Cheap Is Cheerful

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.