Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution
From Tetherless World Wiki
| Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution |
| Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution |