The goal of the Rule Markup Initiative is to develop RuleML as the canonical Web language for rules using XML markup, formal semantics, and efficient implementations.RuleML covers the entire rule spectrum, from derivation rules to transformation rules to reaction rules. RuleML can thus specify queries and inferences in Web ontologies, mappings between Web ontologies, and dynamic Web behaviors of workflows, services, and agents.

References in zbMATH (referenced in 22 articles , 1 standard article )

Showing results 1 to 20 of 22.
Sorted by year (citations)

1 2 next

  1. Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph: Theorem provers for every normal modal logic (2017)
  2. Mitsikas, Theodoros; Stefaneas, Petros; Ouranos, Iakovos: A rule-based approach for air traffic control in the vicinity of the airport (2017)
  3. Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Rakib, Abdur: Automated verification of resource requirements in multi-agent systems using abstraction (2011) ioport
  4. Bocchi, Laura; Gorton, Stephen; Reiff-Marganiec, Stephan: From StPowla processes to SRML models (2010)
  5. Linse, Benedikt: Data integration on the (semantic) web with rules and rich unification. (2010)
  6. Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans: Combining answer set programming with description logics for the semantic web (2008)
  7. Lukasiewicz, Thomas: Fuzzy description logic programs under the answer set semantics for the semantic web (2008)
  8. Samuel, Ken; Obrst, Leo; Stoutenberg, Suzette; Fox, Karen; Franklin, Paul; Johnson, Adrian; Laskey, Ken; Nichols, Deborah; Lopez, Steve; Peterson, Jason: Translating OWL and semantic web rules into Prolog: moving toward description logic programs (2008)
  9. Viegas Damásio, Carlos; Pan, Jeff Z.; Stoilos, Giorgos; Straccia, Umberto: Representing uncertainty in RuleML (2008)
  10. Kim, Henry M.; Sengupta, Arijit: Extracting knowledge from XML document repository: A semantic Web-based approach (2007) ioport
  11. Lukasiewicz, Thomas: Probabilistic description logic programs (2007)
  12. Zarri, Gian Piero: Ontologies and reasoning techniques for (legal) intelligent information retrieval systems. (2007) ioport
  13. Ma, Hui; Schewe, Klaus-Dieter; Thalheim, Bernhard; Zhao, Jane: View integration and cooperation in databases, data warehouses and web information systems (2005)
  14. Zarri, Gian Piero: Integrating the two main inference modes of NKRL, transformations and hypotheses (2005)
  15. Alferes, J. J.; Brogi, A.; Leite, J. A.; Pereira, Luís Moniz: An evolvable rule-based e-mail agent. (2003)
  16. Boley, Harold: The rule markup language: RDF-XML data model, XML schema hierarchy, and XSL transformations (2003)
  17. Kuo, Tsung-Ting; Tseng, Shian-Shyong; Lin, Yao-Tsung: Ontology-based knowledge fusion framework using graph partitioning (2003)
  18. Schroeder, Michael (ed.); Wagner, Gerd (ed.): Rules and rule markup languages for the semantic web. Second international workshop, RuleML, Sanibel Island, FL, USA, October 2003. Proceedings. (2003)
  19. Wu, ZhaoHui; Chen, HuaJun; Xu, JieFeng: Knowledge base grid: A generic grid architecture for semantic web (2003) ioport
  20. Decker, Stefan: Logic databases on the semantic web: Challenges and opportunities (2002)

1 2 next