Basic Logic Dialect
E664397
Basic Logic Dialect is a RIF (Rule Interchange Format) profile designed to represent and exchange rules based on basic logical constructs in a standardized, interoperable way.
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
RIF dialect
ⓘ
Rule Interchange Format profile ⓘ logic-based rule language ⓘ |
| abbreviation | RIF-BLD NERFINISHED ⓘ |
| aimsTo |
ensure interoperability of rule systems
ⓘ
provide a common rule exchange format ⓘ |
| basedOn | first-order logic ⓘ |
| compatibleWith |
RIF Core
NERFINISHED
ⓘ
RIF Production Rule Dialect NERFINISHED ⓘ other RIF dialects ⓘ |
| defines |
semantics for rule interchange
ⓘ
syntax for basic logic rules ⓘ |
| designedFor |
knowledge representation
ⓘ
rule interchange on the Semantic Web ⓘ rule-based reasoning systems ⓘ |
| fullName | RIF Basic Logic Dialect NERFINISHED ⓘ |
| hasDomain |
Semantic Web
NERFINISHED
ⓘ
knowledge engineering ⓘ rule-based systems ⓘ |
| hasFeature |
XML-based concrete syntax
ⓘ
abstract syntax for rules ⓘ model-theoretic semantics ⓘ well-defined semantics for rule interchange ⓘ |
| hasProperty |
interoperable
ⓘ
logic-based ⓘ standardized ⓘ |
| hasPurpose |
enable exchange of rules between systems
ⓘ
represent rules based on basic logical constructs ⓘ |
| partOfStandard |
RIF Core
NERFINISHED
ⓘ
Rule Interchange Format NERFINISHED ⓘ |
| publicationType | W3C Recommendation NERFINISHED ⓘ |
| relatedTo |
OWL
NERFINISHED
ⓘ
RDF NERFINISHED ⓘ SPARQL NERFINISHED ⓘ |
| standardizedBy |
W3C
NERFINISHED
ⓘ
World Wide Web Consortium NERFINISHED ⓘ |
| supports |
Horn-like rules
ⓘ
equality ⓘ existential quantification in rule heads ⓘ function symbols ⓘ logical implication rules ⓘ predicate logic constructs ⓘ universal quantification in rule bodies ⓘ |
| usedIn |
heterogeneous rule system interoperability
ⓘ
knowledge integration scenarios ⓘ rule-based inference engines ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.