13
Sycara and Paolucci
OWL and logics
*OWL relies on Description Logics
*Logics provide automatic
*Check of consistency of concept definitions
*Completion of concept definitions
*Classification of new instances and concepts
*Extraction of implicit knowledge in the documents
•
*None of this is available in XML
*XML Schema provides some of those properties to some extent