About: F-logic

Property	Value
dbo:description	linguagem de programação (pt) linguaggio di programmazione (it) programmeertaal (nl) programmeringssprog (da) język programowania (pl) langage de programmation informatique (fr) lenguaje de programación (es) limbaj de programare (ro) llenguatge de programació (ca) ohjelmointikieli (fi) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) 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:Flora-2 dbr:Logic_programming dbr:Rule_Interchange_Format dbr:Object-oriented_programming dbr:Polymorphism_(computer_science) dbr:Question_answering dbr:Relational_calculus dbc:Logic_programming_languages dbr:University_of_Mannheim dbr:Description_logic dbc:Semantic_Web dbr:Relational_database dbr:Stony_Brook_University dbr:Defeasible_reasoning dbc:Knowledge_representation dbc:Declarative_programming_languages dbr:World_Wide_Web_Consortium dbr:Open_world_assumption dbr:Transaction_logic dbr:Web_Ontology_Language dbr:Undecidable_problem dbr:Ontology_language dbr:Ontoprise_GmbH dbr:Ontology_(information_science) dbr:Semantic_search dbr:SIGMOD dbr:Well-founded_semantics dbr:Knowledge_representation dbr:HiLog dbr:Non-monotonic_reasoning dbr:Semantic_web dbr:Frame_(data_structure) dbr:Encapsulation_(computer_science) dbr:Closed_world_assumption dbr:Inheritance_(computer_science) dbr:SHOIN
dbp:wikiPageUsesTemplate	dbt:Sxhl dbt:Reflist dbt:Citation_needed dbt:Automated_reasoning dbt:Mono
dct:subject	dbc:Logic_programming_languages dbc:Semantic_Web dbc:Knowledge_representation dbc:Declarative_programming_languages
rdfs:label	F-logic (en) F-Logic (de) F-logic (fr) F-логика (ru)
owl:sameAs	yago-res:F-logic freebase: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=1261886749&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:F-logic
is dbo:wikiPageRedirects of	dbr:F-Logic dbr:FLogic
is dbo:wikiPageWikiLink of	dbr:Flora-2 dbr:Logic_programming dbr:Rule_Interchange_Format dbr:Prolog dbr:Query_language dbr:Tefkat dbr:Ontoprise_GmbH dbr:Rulelog dbr:HiLog dbr:F-Logic dbr:FLogic
is foaf:primaryTopic of	wikipedia-en:F-logic