Approximating Description Logic Classification for Semantic Web Reasoning
暂无分享,去创建一个
[1] Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.
[2] A L Rector,et al. Goals for concept representation in the GALEN project. , 1993, Proceedings. Symposium on Computer Applications in Medical Care.
[3] Peter Crowther,et al. The DIG Description Logic Interface , 2003, Description Logics.
[4] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[5] Marco Schaerf,et al. Tractable Reasoning via Approximation , 1995, Artif. Intell..
[6] Ralf Küsters,et al. Approximation and Difference in Description Logics , 2002, KR.
[7] Carole A. Goble,et al. TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources , 1998, ISMB.
[8] Frank van Harmelen,et al. Exploiting Domain Knowledge for Approximate Diagnosis , 1997, IJCAI.
[9] Mike Dewar,et al. Mathematical Service Matching Using Description Logic and OWL , 2004, MKM.
[10] Hector J. Levesque,et al. Proceedings of the first international conference on Principles of knowledge representation and reasoning , 1989 .
[11] Frank van Harmelen,et al. Computing Approximate Diagnoses By Using Approximate Entailment , 1996, KR.
[12] Nicola Guarino,et al. WonderWeb Deliverable D18 Ontology Library , 2003 .
[13] Ian Horrocks. The FaCT System , 1998, TABLEAUX.
[14] Larry Wos,et al. What Is Automated Reasoning? , 1987, J. Autom. Reason..
[15] Ian Horrocks,et al. A Conjunctive Query Language for Description Logic Aboxes , 2000, AAAI/IAAI.
[16] Ralf Küsters,et al. Rewriting Concepts Using Terminologies , 2000, KR.
[17] Alexander Borgida,et al. Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning , 1989, KR.
[18] Volker Haarslev,et al. RACER System Description , 2001, IJCAR.
[19] Frank van Harmelen,et al. Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification , 2004, KR.
[20] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[21] Werner Nutt,et al. The Complexity of Existential Quantification in Concept Languages , 1992, Artif. Intell..
[22] Volker Haarslev,et al. RACE System Description , 1999, Description Logics.
[23] David A. McAllester. Truth Maintenance , 1990, AAAI.