Ten Theses on Logic Languages for the Semantic Web.
François BryMassimo MarchioriPublished in: PPSWR (2005)
Keyphrases
- interchange format
- semantic web
- expressive power
- formal language
- highly expressive
- language independent
- classical logic
- logic programming
- modal logic
- constraint language
- predicate logic
- multi valued
- semantic web languages
- metadata
- semantic web data
- asynchronous circuits
- logical framework
- automated reasoning
- target language
- linked data
- knowledge representation languages
- knowledge representation
- text summarization
- proof theory
- semantic web technologies
- open world
- first order logic