• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

Formal Properties of Modularisation

Cached

  • Download as a PDF

Download Links

  • [www.csc.liv.ac.uk]
  • [www.csc.liv.ac.uk]
  • [www.informatik.uni-bremen.de]
  • [www.informatik.uni-bremen.de]
  • [cgi.csc.liv.ac.uk]
  • [www.informatik.uni-bremen.de]
  • [lat.inf.tu-dresden.de]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Boris Konev , Carsten Lutz , Dirk Walther , Frank Wolter
Citations:14 - 5 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Konev_formalproperties,
    author = {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter},
    title = {Formal Properties of Modularisation},
    year = {}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Summary. Modularity of ontologies is currently an active research field, and many different notions of a module have been proposed. In this paper, we review the fundamental principles of modularity and identify formal properties that a robust notion of modularity should satisfy. We explore these properties in detail in the contexts of description logic and classical predicate logic and put them into the perspective of well-known concepts from logic and modular software specification such as interpolation, forgetting and uniform interpolation. We also discuss reasoning problems related to modularity. 1

Keyphrases

formal property    active research field    robust notion    classical predicate logic    many different notion    description logic    fundamental principle    uniform interpolation    well-known concept    modular software specification   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University