XML DECLARATIVE DESCRIPTION WITH FIRST‐ORDER LOGICAL CONSTRAINTS
暂无分享,去创建一个
[1] Peter H. Schmitt,et al. An Order-Sorted Logic for Knowledge Representation Systems , 1992, Artif. Intell..
[2] Shige Peng. UDDI Technical White Paper , 2000 .
[3] Hai Zhuge. Semantics, Resource and Grid , 2004, Future Gener. Comput. Syst..
[4] Ian Horrocks,et al. Combining logic programs with description logics , 2003, The Web Conference.
[5] Chutiporn Anutariya,et al. Semantic Web Modeling and Programming with XDD , 2001, SWWS.
[6] P. Brother. Proposition 1. , 1970, California medicine.
[7] Huan Liu,et al. Resource description framework: metadata and its applications , 2001, SKDD.
[8] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[9] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[10] Jae Kyu Lee,et al. The eXtensible Rule Markup Language , 2003, CACM.
[11] Hai Zhuge,et al. A knowledge grid model and platform for global knowledge sharing , 2002, Expert Syst. Appl..
[12] James A. Hendler,et al. The semantic Web and its languages , 2000 .
[13] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[14] Mario Cannataro,et al. The knowledge grid , 2003, CACM.
[15] Benjamin N. Grosof,et al. A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.
[16] Uwe Keller,et al. Inferencing Support for Semantic Web Services: Tools for Semantic Support , 2004 .
[17] Ian T. Foster,et al. Grid Services for Distributed System Integration , 2002, Computer.
[18] Ian Horrocks,et al. OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .
[19] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[20] James A. Hendler. Probing the Pachyderm: A Plea for Proaction , 2000, IEEE Intell. Syst..
[21] Chutiporn Anutariya,et al. An Equivalent-Tranformation-Based XML Rule Language , 2002, RuleML.
[22] Chutiporn Anutariya,et al. XML Declarative Description: A Language for the Semantic Web , 2001, IEEE Intell. Syst..
[23] Yuzhong Qu,et al. A predicate-ordered logic for knowledge representation on the web , 2004, Future Gener. Comput. Syst..
[24] Chutiporn Anutariya,et al. A Data Model for XML Databases , 2001, Journal of Intelligent Information Systems.
[25] Dan Brickley,et al. Resource Description Framework (RDF) Model and Syntax Specification , 2002 .
[26] Dan Brickley,et al. Rdf vocabulary description language 1.0 : Rdf schema , 2004 .
[27] H. Lan,et al. SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .