Warning:
This wiki has been archived and is now read-only.
FullTopics
From OWL
A list of discussion topics related to OWL 2 Full.
The final outcome might be regarded as a kind of "knowledge base" on OWL-Full.
List of Topics
| Annotations | OWL 2 DL knows semantic-free annotations |
| Applications | Known applications of OWL Full |
| bNodes | Skolem constants vs. existential variables |
| Compatibility | Which kinds of Compatibility does OWL 2 Full have to fulfil? |
| Comprehension Principles | The comprehension principles in OWL Full |
| Conditional RDF Mapping | The RDF mapping is conditionally defined |
| Consistency of OWL Full | It is unknown whether OWL-Full is satisfiable |
| Data Ranges | The deprecated DataRange class |
| Datatype Restrictions | Datarange restrictions and complements |
| Declarations | semantic-free OWL 2 Full Declarations |
| Extentionality | IF vs. IFF semantics |
| First Order Logic | OWL-Full is regarded to be a FOL based language |
| Fragments | OWL-Prime and pD* and ??? |
| Full-style OWL-DL | OWL 1 Full had a Full-style version of OWL-DL |
| Infinite Universe | OWL-Full has necessarily an infinite universe, DL hasn't |
| Non-Structural Restrictions | The Syntax document specifies "non-structural restrictions on properties |
| Punning | How does punning relate to OWL Full? |
| QCRs | Syntax and Semantics for QCRs |
| RDF Semantics | The Semantics of RDF(S) |
| Reasoners | Reasoners for OWL-Full |
| Reification | Discussion about Reification in RDF syntax |
| owl:Class | Relationship between owl:Class and rdfs:Class |
| owl:Restriction | OWL 1 Full uses Restrictions without 'owl:Restriction' |
| SKOS | SKOS claims to be based on OWL-Full |
| Sub Property Chains | How are they specified in Full? |
| Syntax Reflection | rdf:type rdf:type rdf:type |
| Testcases | OWL-1.1-Full needs testcases |
| Tools | Tools for working with OWL-Full |
| Triple Entailment Rules | What is possible? |
| Usecases | Which usecases are there for OWL Full? |
| Users | Which user groups are there for OWL Full? |