Sciweavers

56 search results - page 12 / 12
» A study on port design automation concept
Sort
View
AI
2010
Springer
13 years 5 months ago
Logic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...