F-logic
F-logic (frame logic) is a knowledge representation and ontology language. F-logic combines the advantages of conceptual modeling with object-oriented, frame-based languages and offers a declarative, compact and simple syntax, as well as the well-defined semantics of a logic-based language. Features include, among others, object identity, complex objects, inheritance, polymorphism, query methods, encapsulation. F-logic stands in the same relationship to object-oriented programming as classical relational calculus stands to relational database programming.
- Comment
- enF-logic (frame logic) is a knowledge representation and ontology language. F-logic combines the advantages of conceptual modeling with object-oriented, frame-based languages and offers a declarative, compact and simple syntax, as well as the well-defined semantics of a logic-based language. Features include, among others, object identity, complex objects, inheritance, polymorphism, query methods, encapsulation. F-logic stands in the same relationship to object-oriented programming as classical relational calculus stands to relational database programming.
- Has abstract
- enF-logic (frame logic) is a knowledge representation and ontology language. F-logic combines the advantages of conceptual modeling with object-oriented, frame-based languages and offers a declarative, compact and simple syntax, as well as the well-defined semantics of a logic-based language. Features include, among others, object identity, complex objects, inheritance, polymorphism, query methods, encapsulation. F-logic stands in the same relationship to object-oriented programming as classical relational calculus stands to relational database programming.
- Is primary topic of
- F-logic
- Label
- enF-logic
- Link from a Wikipage to an external page
- coherentknowledge.com/ergo-documentation/
- pathlp.sourceforge.net/
- www.daml.org/services/swsl/
- www.wsmo.org/wsml/
- dbis.informatik.uni-freiburg.de/index.php%3Fproject=Florid
- Link from a Wikipage to another Wikipage
- Category:Declarative programming languages
- Category:Knowledge representation
- Category:Logic programming languages
- Category:Semantic Web
- Closed world assumption
- Defeasible reasoning
- Description logic
- Encapsulation (computer science)
- Flora-2
- Frame (data structure)
- HiLog
- Inheritance (computer science)
- Knowledge representation
- Logic programming
- Non-monotonic reasoning
- Object-oriented programming
- Ontology (information science)
- Ontology language
- Ontoprise GmbH
- Open world assumption
- Polymorphism (computer science)
- Question answering
- Relational calculus
- Relational database
- Rule Interchange Format
- Semantic search
- Semantic web
- SHOIN
- SIGMOD
- Stony Brook University
- Transaction logic
- Undecidable problem
- University of Mannheim
- Web Ontology Language
- Well-founded semantics
- World Wide Web Consortium
- SameAs
- F-logic
- F-logic
- F-Logic
- F-логика
- Jexh
- m.0cs99g
- Q1266004
- Subject
- Category:Declarative programming languages
- Category:Knowledge representation
- Category:Logic programming languages
- Category:Semantic Web
- WasDerivedFrom
- F-logic?oldid=1121112060&ns=0
- WikiPageLength
- 6738
- Wikipage page ID
- 4880312
- Wikipage revision ID
- 1121112060
- WikiPageUsesTemplate
- Template:Citation needed
- Template:Mono
- Template:Reflist
- Template:Sxhl