Towards Incremental Reasoning Through Updates in OWL-DL
暂无分享,去创建一个
[1] James A. Hendler,et al. Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..
[2] Volker Haarslev,et al. LAS: Extending Racer by a Large ABox Store , 2005, Description Logics.
[3] Thorsten Liebig,et al. OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies , 2004, International Semantic Web Conference.
[4] Volker Haarslev,et al. Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results , 2004, KR.
[5] Bijan Parsia,et al. Pellet: An OWL DL Reasoner , 2004, Description Logics.
[6] Ian Horrocks,et al. Efficient Reasoning with Range and Domain Constraints , 2004, Description Logics.
[7] Bijan Parsia,et al. Composition-driven Filtering and Selection of Semantic Web Services , 2004 .
[8] Anupriya Ankolekar,et al. Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..
[9] Bijan Parsia,et al. Task Computing - The Semantic Web Meets Pervasive Computing , 2003, SEMWEB.
[10] Werner Nutt,et al. Basic Description Logics , 2003, Description Logic Handbook.
[11] Takahiro Kawamura,et al. Semantic Matching of Web Services Capabilities , 2002, SEMWEB.
[12] Volker Haarslev,et al. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics , 2001, IJCAR.
[13] Volker Haarslev,et al. RACER System Description , 2001, IJCAR.
[14] Ian Horrocks,et al. Optimising Tableaux Decision Procedures For Description Logics , 1997 .
[15] I. Horrocks. Implementation and Optimisation Techniques , .