This HTML5 document contains 33 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
n15https://archive.today/20130108094001/http:/autopoiesis.foi.hr/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n17http://
n10http://frdcsa.org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n9https://github.com/johannesloetzsch/
n19http://code.google.com/p/the-baze/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Flora-2
rdfs:label
Flora-2
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.
dct:subject
dbc:Logic_programming_languages
dbo:wikiPageID
40263451
dbo:wikiPageRevisionID
1123518885
dbo:wikiPageWikiLink
dbr:Microsoft_Windows dbr:Unix dbr:HiLog dbr:Transaction_logic dbr:Open_source dbc:Logic_programming_languages dbr:XSB dbr:Linux dbr:Mac_OS_X dbr:LibreOffice_Base dbr:Knowledge_representation_and_reasoning dbr:Microsoft_Access dbr:Ontology_(information_science) dbr:F-logic
dbo:wikiPageExternalLink
n9:reasonablepy n10:frdcsa n15: n17:flora.sourceforge.net n19:
owl:sameAs
freebase:m.0wr7sfp wikidata:Q17090028 n20:fv37
dbp:wikiPageUsesTemplate
dbt:Reflist
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.
gold:hypernym
dbr:System
prov:wasDerivedFrom
wikipedia-en:Flora-2?oldid=1123518885&ns=0
dbo:wikiPageLength
7248
foaf:isPrimaryTopicOf
wikipedia-en:Flora-2