Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery. In Manfred Hauswirth, Manolis Koubarakis, and Sean Bechhofer (Eds.), Proceedings of the 5th European Semantic Web Conference, Springer Verlag, Berlin, Heidelberg, June 2008. [BibSonomy: integration semantic uddi universal web sawsdl discovery annotations language description owl service services ontology wsdl semantic-web-services-1] URL
Finite model reasoning in DL-Lite. In Manfred Hauswirth, Manolis Koubarakis, and Sean Bechhofer (Eds.), Proceedings of the 5th European Semantic Web Conference, Springer Verlag, Berlin, Heidelberg, June 2008. [BibSonomy: ontologies reasoning description computational logics complexity formal-languages-2] URL
Query Answering and Ontology Population: an Inductive Approach. In Manfred Hauswirth, Manolis Koubarakis, and Sean Bechhofer (Eds.), Proceedings of the 5th European Semantic Web Conference, Springer Verlag, Berlin, Heidelberg, June 2008. [BibSonomy: similalrity inductive learning unswering uncertainty ontology logic description population measure query] URL
Mapping Validation by Probabilistic Reasoning. In Manfred Hauswirth, Manolis Koubarakis, and Sean Bechhofer (Eds.), Proceedings of the 5th European Semantic Web Conference, Springer Verlag, Berlin, Heidelberg, June 2008. [BibSonomy: matching mapping probabilistic logics description ontology reasoning formal-languages-1] URL
Restricting and forgetting in DL-Lite. In Manfred Hauswirth, Manolis Koubarakis, and Sean Bechhofer (Eds.), Proceedings of the 5th European Semantic Web Conference, Springer Verlag, Berlin, Heidelberg, June 2008. [BibSonomy: dl-lite restricting ontology description forgetting logic formal-languages-2] URL
Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies. In Manfred Hauswirth, Manolis Koubarakis, and Sean Bechhofer (Eds.), Proceedings of the 5th European Semantic Web Conference, Springer Verlag, Berlin, Heidelberg, June 2008. [BibSonomy: ontology logic description extraction classification module incremental formal-languages-1] URL