Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
1Activity

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
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
10.1.1.114

10.1.1.114

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

More info:

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

Availability:

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

11/12/2011

pdf

text

original

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

You're Reading a Free Preview

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