Matching OWL Capabilities for Reasoning, Rules and constraints
Current Status:
- TypeDB -> FOL equal to probabilistic Prolog
- OWL -> FOL and SOL Rules and constraints
Currently TypeDB can execute some of OWL's capability, but cannot handle all of the Descriptive Logics as shown below. Now we already know that TypeDB will get constraints. We need to do a detailed review of OWL Descriptive Logic so we can find out what the exact gap is between the two. I believe you can and should close that gap
https://ontology-explained.com/2021/owl/
https://ontology-explained.com/2021/dl
https://kmi.open.ac.uk/events/iswc07-semantic-web-intro/pdf/3.%20Introduction%20to%20OWL.pdf
- TypeDB -> FOL equal to probabilistic Prolog
- OWL -> FOL and SOL Rules and constraints
Currently TypeDB can execute some of OWL's capability, but cannot handle all of the Descriptive Logics as shown below. Now we already know that TypeDB will get constraints. We need to do a detailed review of OWL Descriptive Logic so we can find out what the exact gap is between the two. I believe you can and should close that gap
https://ontology-explained.com/2021/owl/
https://ontology-explained.com/2021/dl
https://kmi.open.ac.uk/events/iswc07-semantic-web-intro/pdf/3.%20Introduction%20to%20OWL.pdf
