Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Standard view
Full view
of .
Look up keyword or section
Like this

Table Of Contents

2. Preliminaries
3.1 A Motivating Example
3.2 Conservative Extensions and Safety for an Ontology
3.3 Safety of an Ontology for a Signature
3.4 Extraction of Modules from Ontologies
3.5 Minimal Modules and Essential Axioms
3.6 Safety and Modules for General Ontology Languages
4. Undecidability and Complexity Results
5.1 Safety Classes
5.2 Locality
5.3 Testing Locality
5.4 A Tractable Approximation to Locality
5.5 Other Locality Classes
5.6 Combining and Extending Safety Classes
6. Extracting Modules Using Safety Classes
7. Related Work
8.1 Locality for Testing Safety
8.2 Extraction of Modules
9. http://www.mindswap.org/2003/CancerOntology/nciOncology.owl
10. http://ontology.teknowledge.com/
11. http://www.geneontology.org
12. http://www.snomed.org
13. http://www.openclinical.org/prj_galen.html
14. http://www.loa-cnr.it/DOLCE.html
16. The tool can be downloaded at http://code.google.com/p/swoop/
0 of .
Results for:
No results containing your search query
P. 1

Ratings: (0)|Views: 9|Likes:
Published by Apostle Prophet

More info:

Published by: Apostle Prophet on Jan 12, 2011
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





You're Reading a Free Preview
Pages 5 to 46 are not shown in this preview.

Activity (2)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->