Controlled Natural Language as Interface Language to the Semantic Web
暂无分享,去创建一个
[1] Stuart M. Shieber,et al. Prolog and Natural-Language Analysis , 1987 .
[2] François Bry,et al. Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation , 2004, Journal of Automated Reasoning.
[3] Deborah L. McGuinness,et al. Owl web ontology language guide , 2003 .
[4] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[5] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .
[6] Dan Brickley,et al. Rdf vocabulary description language 1.0 : Rdf schema , 2004 .
[7] Andreas Harth,et al. D20.2v0.2 OWL Lite- Reasoning with Rules , 2022 .
[8] Norbert Eisinger,et al. The theorem prover SATCHMO : strategies, heuristics and applications , 1995, JFPLC.
[9] François Bry,et al. Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux , 1996, TABLEAUX.
[10] Rolf Schwitter,et al. Controlled Natural Language meets the SemanticWeb , 2004, ALTA.
[11] Jennifer Widom,et al. Database Systems: The Complete Book , 2001 .
[12] Peter F. Patel-Schneider,et al. Three theses of representation in the semantic web , 2003, WWW '03.
[13] François Bry,et al. SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.
[14] Raphael Volz,et al. Web ontology reasoning with logic databases , 2004 .