About: F-logic

Property	Value
dbo:description	język programowania (pl) lenguaje de programación (es) limbaj de programare (ro) linguagem de programação (pt) linguaggio di programmazione (it) llenguatge de programació (ca) ohjelmointikieli (fi) programmeringssprog (da) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) langage de programmation informatique (fr) programmeertaal (nl) formale Sprache zur Wissensrepräsentation (de) knowledge representation and ontology language (en)
dbo:wikiPageExternalLink	http://coherentknowledge.com/ergo-documentation/ http://dbis.informatik.uni-freiburg.de/index.php%3Fproject=Florid http://pathlp.sourceforge.net/ http://www.wsmo.org/wsml/ http://www.daml.org/services/swsl/
dbo:wikiPageWikiLink	dbr:Object-oriented_programming dbr:SIGMOD dbr:Rule_Interchange_Format dbr:Ontology_language dbr:Ontoprise_GmbH dbr:Stony_Brook_University dbr:University_of_Mannheim dbr:World_Wide_Web_Consortium dbr:Polymorphism_(computer_science) dbr:Ontology_(information_science) dbr:Relational_database dbr:Question_answering dbr:Web_Ontology_Language dbr:Description_logic dbr:Relational_calculus dbr:Semantic_search dbr:Defeasible_reasoning dbr:Logic_programming dbr:Undecidable_problem dbc:Knowledge_representation dbc:Semantic_Web dbc:Declarative_programming_languages dbc:Logic_programming_languages dbr:Well-founded_semantics dbr:Open_world_assumption dbr:Flora-2 dbr:HiLog dbr:Non-monotonic_reasoning dbr:Semantic_web dbr:Transaction_logic dbr:Knowledge_representation dbr:Encapsulation_(computer_science) dbr:Frame_(data_structure) dbr:Closed_world_assumption dbr:Inheritance_(computer_science) dbr:SHOIN
dbp:date	2007-05-02 (xsd:date)
dbp:url	https://web.archive.org/web/20070502084604/http:/www.wsmo.org/wsml/
dbp:wikiPageUsesTemplate	dbt:Sxhl dbt:Citation_needed dbt:Mono dbt:Reflist dbt:Webarchive dbt:Automated_reasoning
dct:subject	dbc:Knowledge_representation dbc:Semantic_Web dbc:Declarative_programming_languages dbc:Logic_programming_languages
rdfs:label	F-logic (en) F-Logic (de) F-logic (fr) F-логика (ru)
owl:sameAs	freebase:F-logic yago-res:F-logic wikidata:F-logic dbpedia-de:F-logic dbpedia-fr:F-logic dbpedia-ru:F-logic dbpedia-global:F-logic
prov:wasDerivedFrom	wikipedia-en:F-logic?oldid=1305051602&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:F-logic
is dbo:wikiPageRedirects of	dbr:F-Logic dbr:FLogic
is dbo:wikiPageWikiLink of	dbr:Prolog dbr:Rule_Interchange_Format dbr:Ontoprise_GmbH dbr:Query_language dbr:Logic_programming dbr:Tefkat dbr:Flora-2 dbr:HiLog dbr:Rulelog dbr:F-Logic dbr:FLogic
is foaf:primaryTopic of	wikipedia-en:F-logic