RuleML

ruleml rules semantic web datalog ontology data quality swrl owl prolog knowledge representation and reasoning logic business rules ruleml2017 answer set programming symbolic machine learning agent-based simulation data mining recommender systems classification rulelog notation3 machine learning property data data integration logic programing api interoperability java ruleml2012 teleor qulog logic programming controlled english decision management big data events expert systems monitoring tuberculosis epidemy. rule-based programs planning constraint handling rules logical semantics first order logic herbrand semantics object-relational data distribution data complexity uml frontier-guarded programs omg metamodel knowledge model dexter data explorer multidimensional context mobile devices context-awareness uncertainty probabilistic rules knowledge management characteristic rules geographic information systems linked data synonymous properties itemset mining swrl rules evaluate ontologies detect anomalies detect problems access control policy object oriented logic programming rule generalization disjunctive concepts cloud data management “greening” economy linked open data geospatial data psoa ruleml multi-agent systems ruleml2015 synonyms dbpedia frequent itemset rule induction second order logic rule systems transformation of metadata to values association rules web service r psoa-ruleml lode event ontology equality fuzzy logic programming similarity relations formal semantics quantification rule-based data transformations rule languages smart grids jena disjunction data sharing stit norm input/output logic transaction event stream existential datalog semantic interoperability federated ontology architecture backward-chaining reasoning sparql horn-like rules colored petri nets business process management event-condi-tion-action object-oriented logic busi- ness rules genome annotation metabolic network reconstruction four-valued logic drools grools knowledge engineering genetic programming software translators abstract syntax translation rule engines reactive rules users location mde production rules epistemic logic agents defeasible logic