Related terms:
owl dl
xml syntax
finite structures
open world assumption
henkin
world assumption
standard semantics
expressive power
rdf schema
boolos
description logic
abstract syntax
definable
ontology language
deductive system
countably infinite
web ontology language
ordered field
formal semantics
cardinality
expressive
Wikipedia sources:
Second-order logic
Web Ontology Language
Context for words:
more
expressive
|
|