Description Logic Reasoning for Dynamic ABoxes

Monitoring and Indicators of Forest Biodiversity – from Ideas to Operationality

Christian Halaschek-Wiener ; Bijan Parsia ; Evren Sirin ; Adtiya Kalyanpur

Others  :  http://CEUR-WS.org/Vol-189/submission_27.pdf
PID  :  358

来源: CEUR

【 摘 要 】

Recently, there has been interest in providing formal representation of Web content, which can then be processed using automated reasoning techniques. Due to data sources that produce fluctuating data, there exists a variety of description logic reasoning use cases which require frequent updates at the assertionallevel. These include prominent web services frameworks (e.g., OWL-S) that use description logics for service discovery and matchmaking, where devices register or deregister their descriptions (and supporting ontologies) quite rapidly. Additionally, Semantic Web portals often allow content authors to modify or extendthe ontologies which organize their site structure or page content. Lastly, one of the common uses of description logic reasoners is in ontology editors. Most editors do not do continuous reasoning while one is editing, relying on an analogue of the edit-compile-test loop of most programming environments.[first paragraph]