On integrating rules into the Semantic Web
暂无分享,去创建一个
[1] James A. Hendler,et al. The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.
[2] Peter F. Patel-Schneider,et al. Layering the Semantic Web: Problems and Directions , 2002, SEMWEB.
[3] Dan Brickley,et al. Rdf vocabulary description language 1.0 : Rdf schema , 2004 .
[4] Gerd Wagner,et al. Where Are the Rules , 2003 .
[5] Francesco M. Donini,et al. AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.
[6] Alon Y. Halevy,et al. Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..
[7] Alon Y. Halevy,et al. CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.
[8] Michael Kifer,et al. FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine , 2000, Computational Logic.
[9] C. M. Sperberg-McQueen,et al. Extensible Markup Language (XML) , 1997, World Wide Web J..
[10] Ulf Nilsson,et al. Logic, programming and Prolog , 1990 .
[11] Stefan Decker,et al. TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.
[12] Pierre Deransart,et al. Proof Methods of Declarative Properties of Definite Programs , 1993, Theor. Comput. Sci..
[13] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[14] Vassilis Christophides,et al. Benchmarking RDF Schemas for the Semantic Web , 2002, SEMWEB.
[15] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.