×

RuleML

swMATH ID: 1792
Software Authors: Eberhart, Andreas
Description: 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.
Homepage: http://glotta.ntua.gr/StateoftheArt/CGs/ruleml.html
Related Software: swrl; TRIPLE; Protege; PyGaze; DeepRED; Psychophysics Toolbox; embed_modal; MleanCoP; MetTeL; QMLTP; Satallax; Isabelle/HOL; LEO-II; SCIFF; oClingo; SATCHMO; PRMLT; D-SCIDS; MOCHA; SPARQL
Cited in: 20 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Automatic generation of Java/SQL based inference engines from RDF schema and RuleML. Zbl 1048.68742
Eberhart, Andreas
2002
all top 5

Cited by 52 Authors

3 Lukasiewicz, Thomas
1 Alferes, José Júlio
1 Benzmüller, Christoph Ewald
1 Bocchi, Laura
1 Boley, Harold
1 Brogi, Antonio
1 Decker, Stefan
1 Demey, Jan
1 Eberhart, Andreas
1 Eiter, Thomas
1 Fox, Karen
1 Franklin, Paul
1 Gleißner, Tobias
1 Gorton, Stephen
1 Ianni, Giovambattista
1 Jarrar, Mustafa
1 Johnson, Adrian
1 Kliegr, Tomáš
1 Kowalski, Robert A.
1 Kuo, Tsung-Ting
1 Laskey, Ken
1 Leite, João Alexandre
1 Lin, Yao-Tsung
1 Linse, Benedikt
1 Lopez, Steve
1 Ma, Hui
1 Meersman, Robert A.
1 Mitsikas, Theodoros
1 Moniz Pereira, Luís
1 Nichols, Deborah
1 Obrst, Leo
1 Ouranos, Iakovos Ch.
1 Pan, Jeff Z.
1 Peterson, Jason
1 Reiff-Marganiec, Stephan
1 Sadri, Fariba
1 Samuel, Ken
1 Schewe, Klaus-Dieter
1 Schindlauer, Roman
1 Steen, Alexander
1 Stefaneas, Petros S.
1 Stoilos, Giorgos
1 Stoutenberg, Suzette
1 Straccia, Umberto
1 Thalheim, Bernhard
1 Tompits, Hans
1 Tseng, Shian-Shyong
1 Viegas Damásio, Carlos
1 Vojíř, Stanislav
1 Wagner, Gerd
1 Zarri, Gian Piero
1 Zhao, Jane
all top 5

Cited in 7 Serials

2 Fundamenta Informaticae
2 Theory and Practice of Logic Programming
1 Artificial Intelligence
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 Lecture Notes in Computer Science
1 Advances in Data Analysis and Classification. ADAC

Cited in 4 Fields

19 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
1 Operations research, mathematical programming (90-XX)
1 Systems theory; control (93-XX)

Citations by Year