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