Flora-2 (original) (raw)
Flora-2 is an open source semantic rule-based system for knowledge representation and reasoning.The language of the system is derived from F-logic, HiLog, and Transaction logic. Being based on F-logic and HiLog implies that object-oriented syntax and higher-order representation are the major features of the system. Flora-2 also supports a form of defeasible reasoning called Logic Programming with Defaults and Argumentation Theories (LPDA). Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, automated database normalization, and more.
| Property | Value |
|---|---|
| dbo:abstract | Flora-2 is an open source semantic rule-based system for knowledge representation and reasoning.The language of the system is derived from F-logic, HiLog, and Transaction logic. Being based on F-logic and HiLog implies that object-oriented syntax and higher-order representation are the major features of the system. Flora-2 also supports a form of defeasible reasoning called Logic Programming with Defaults and Argumentation Theories (LPDA). Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, automated database normalization, and more. Flora-2 relies on the XSB system for its inference engine. The design and architecture of Flora-2 are described in a number of works. Details of the system and its use are described in the Flora-2 User's Manual. Flora-2 is available for all major computing platforms, including Linux and other flavors of Unix, Microsoft Windows, and Mac OS X. (en) |
| dbo:wikiPageExternalLink | http://frdcsa.org/frdcsa http://code.google.com/p/the-baze/ http://flora.sourceforge.net https://archive.today/20130108094001/http:/autopoiesis.foi.hr/ https://github.com/johannesloetzsch/reasonablepy |
| dbo:wikiPageID | 40263451 (xsd:integer) |
| dbo:wikiPageLength | 7248 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1123518885 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Unix dbc:Logic_programming_languages dbr:Open_source dbr:LibreOffice_Base dbr:Linux dbr:Mac_OS_X dbr:Transaction_logic dbr:Knowledge_representation_and_reasoning dbr:HiLog dbr:Microsoft_Access dbr:Microsoft_Windows dbr:Ontology_(information_science) dbr:XSB dbr:F-logic |
| dbp:wikiPageUsesTemplate | dbt:Reflist |
| dct:subject | dbc:Logic_programming_languages |
| gold:hypernym | dbr:System |
| rdfs:comment | Flora-2 is an open source semantic rule-based system for knowledge representation and reasoning.The language of the system is derived from F-logic, HiLog, and Transaction logic. Being based on F-logic and HiLog implies that object-oriented syntax and higher-order representation are the major features of the system. Flora-2 also supports a form of defeasible reasoning called Logic Programming with Defaults and Argumentation Theories (LPDA). Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, automated database normalization, and more. (en) |
| rdfs:label | Flora-2 (en) |
| owl:sameAs | freebase:Flora-2 wikidata:Flora-2 https://global.dbpedia.org/id/fv37 |
| prov:wasDerivedFrom | wikipedia-en:Flora-2?oldid=1123518885&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Flora-2 |
| is dbo:wikiPageDisambiguates of | dbr:Flora_(disambiguation) |
| is dbo:wikiPageWikiLink of | dbr:Prolog dbr:Semantic_reasoner dbr:Transaction_logic dbr:Logic_programming dbr:Flora_(disambiguation) dbr:HiLog dbr:F-logic dbr:Rulelog dbr:RuleML |
| is foaf:primaryTopic of | wikipedia-en:Flora-2 |