About: Rulelog

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Rulelog is an expressive semantic rule-based knowledge representation and reasoning (KRR) language. It underlies knowledge representation languages used in systems such as Flora-2, SILK and others. It extends well-founded declarative logic programs with features for higher-order syntax, frame syntax, defeasibility, general quantified expressions both in the bodies of the rules and their heads, user-defined functions, and restraint bounded rationality.

Property	Value
dbo:abstract	Rulelog is an expressive semantic rule-based knowledge representation and reasoning (KRR) language. It underlies knowledge representation languages used in systems such as Flora-2, SILK and others. It extends well-founded declarative logic programs with features for higher-order syntax, frame syntax, defeasibility, general quantified expressions both in the bodies of the rules and their heads, user-defined functions, and restraint bounded rationality. (en)
dbo:wikiPageExternalLink	http://www.semafora-systems.com/en/products/ontobroker/ https://sunflower.csl.sri.com/ http://coherentknowledge.com/product-overview-ergo-suite-platform/ http://coherentknowledge.com/product-overview-ergoai-platform/ http://ruleml.org/rif/rulelog/spec/Rulelog.html https://sourceforge.net/p/flora/rulelog/HEAD/tree/ https://www.w3.org/TR/rif-fld/
dbo:wikiPageID	59354435 (xsd:integer)
dbo:wikiPageLength	7861 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1038089073 (xsd:integer)
dbo:wikiPageWikiLink	dbr:F-Logic dbr:Memoization dbr:Natural_language_processing dbr:Non-monotonic_reasoning dbr:Declarative_programming dbr:Deductive_database dbc:Declarative_programming_languages dbr:Machine_learning dbr:Logic_programming dbr:Database dbr:Flora-2 dbr:Knowledge_representation_and_reasoning dbr:HiLog dbc:Knowledge_representation_software dbr:Business_rule dbr:XSB dbr:Semantic_Web_Rule_Language dbr:Well-founded_semantics dbr:Logic_Programming dbr:F-logic dbr:Semantic_Web dbr:RuleML dbr:Ontology_(computer_science)
dbp:wikiPageUsesTemplate	dbt:Orphan dbt:Reflist
dcterms:subject	dbc:Declarative_programming_languages dbc:Knowledge_representation_software
rdfs:comment	Rulelog is an expressive semantic rule-based knowledge representation and reasoning (KRR) language. It underlies knowledge representation languages used in systems such as Flora-2, SILK and others. It extends well-founded declarative logic programs with features for higher-order syntax, frame syntax, defeasibility, general quantified expressions both in the bodies of the rules and their heads, user-defined functions, and restraint bounded rationality. (en)
rdfs:label	Rulelog (en)
owl:sameAs	wikidata:Rulelog https://global.dbpedia.org/id/9GmCt
prov:wasDerivedFrom	wikipedia-en:Rulelog?oldid=1038089073&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Rulelog
is foaf:primaryTopic of	wikipedia-en:Rulelog