OO-logic: a Successor of F-logic.
Jürgen AngeleKevin AngelePublished in: RuleML+RR (Supplement) (2019)
Keyphrases
- object oriented
- deductive databases
- logic programming
- knowledge representation and reasoning
- description logics
- query language
- programming language
- automated reasoning
- conceptual modeling
- predicate logic
- classical logic
- modal logic
- data model
- database schema
- genetic algorithm
- design methodology
- object oriented databases
- integrity constraints
- software engineering
- knowledge base
- set theory
- database
- asynchronous circuits