F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Building the Semantic Web on XML
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Cross-fertilizing logic programming and XML for knowledge representation
Knowledge media in healthcare
Constraint Search for Comparing Multiple-Incentive Merchandises
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
An Ontology-based System for Semantic Filtering of XML Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating XQuery and Logic Programming
Applications of Declarative Programming and Knowledge Management
Bridging concrete and abstract syntaxes in model-driven engineering: a case of rule languages
Software—Practice & Experience
Achieving knowledge interoperability: An XML/XSLT approach
Expert Systems with Applications: An International Journal
Expert Systems with Applications: An International Journal
Bridging concrete and abstract syntax of web rule languages
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Marriages of convenience: triples and graphs, RDF and XML in web querying
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Attribute delegation based on ontologies and context information
CMS'06 Proceedings of the 10th IFIP TC-6 TC-11 international conference on Communications and Multimedia Security
Hi-index | 0.01 |
Shared declarative aspects of Prolog and XML are examined. An XML version of pure Prolog is shown to be at the center of the Rule Markup Language. The RuleML data model uses Order-Labeled trees, combining the RDF and XML models. As part of RuleML's hierarchy of sublanguages, the RuleML-Prolog DTD is developed into an XML Schema. XSLT (XSL Transformations) is employed for practical XML-to-XML and XML-to-(X)HTML transformation of Prolog on the Web.