Axa Assurance Maroc - Insurer Innovation Award 2024
Reasoning on the Semantic Web
1. Reasoning on the Semantic Web Reasoning on the Semantic Web Issues, vulnerabilities, and solutions Yannis Kalfoglou Web Science Research Meeting Monday, 22 January 2007
2. Reasoning on the SW Work to date: Ontologies: OWL family of languages : OWL Lite, OWL DL, OWL Full, recently OWL 1.1 Ontology editing tools : Protégé, SWOOP, TopBraid, OntoStudio, OILed, OntoTrack Rules: Rules engines/languages : SWRL, RIF Theorem Provers: Hoolet Data : Data query languages : SPARQL, RQL, RDQL, SQL, MySQL; Data formats : RDF, XML APIs/Frameworks : Jena, Sesame, KAON2, etc. Some selective users’ experiences/expectations: Lack of sophisticated uses ” Minimal use of expressive OWL constructs by a majority of large scale ontologies (SNOMED-CT, FMA, GeneOntology, NCI Thesaurus, FOAF) [..] mostly taxonomic reasoning - subsumption“ Kershenbaum et al. (2006) “A view of OWL from the field: Use cases and experiences”. OWLED06, ISWC06 Workshop. Recent OWL version gets good reception “ OWL 1.1 gives “disjoint union” as a new construct – provides user defined data type functionality – use of comments to capture and express the rationale behind modelling decisions – we need tool support” Dolbear et al. (2006) “What OWL has done for geography and why we don’t need to map read”. OWLED06, ISWC06 Workshop [DL] reasoning: tuned towards qualitative reasoning over the ontology rather than quantitative reasoning over the instances. Reasoning Vulnerabilities Points Related work Looking fwd
![Reasoning on the SW Work to date: Ontologies: OWL family of languages : OWL Lite, OWL DL, OWL Full, recently OWL 1.1 Ontology editing tools : Protégé, SWOOP, TopBraid, OntoStudio, OILed, OntoTrack Rules: Rules engines/languages : SWRL, RIF Theorem Provers: Hoolet Data : Data query languages : SPARQL, RQL, RDQL, SQL, MySQL; Data formats : RDF, XML APIs/Frameworks : Jena, Sesame, KAON2, etc. Some selective users’ experiences/expectations: Lack of sophisticated uses ” Minimal use of expressive OWL constructs by a majority of large scale ontologies (SNOMED-CT, FMA, GeneOntology, NCI Thesaurus, FOAF) [..] mostly taxonomic reasoning - subsumption“ Kershenbaum et al. (2006) “A view of OWL from the field: Use cases and experiences”. OWLED06, ISWC06 Workshop. Recent OWL version gets good reception “ OWL 1.1 gives “disjoint union” as a new construct – provides user defined data type functionality – use of comments to capture and express the rationale behind modelling decisions – we need tool support” Dolbear et al. (2006) “What OWL has done for geography and why we don’t need to map read”. OWLED06, ISWC06 Workshop [DL] reasoning: tuned towards qualitative reasoning over the ontology rather than quantitative reasoning over the instances. Reasoning Vulnerabilities Points Related work Looking fwd](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)