Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6934756 | Journal of Visual Languages & Computing | 2015 | 22 Pages |
Abstract
Conclusion: Our results show how the combination of Hybrid Logic and Description Logic can provide the necessary abstraction for the checking to be carried out at a level understandable by the human user when the properties of interest can be translated by a controlled English language interface.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science Applications
Authors
Ioan Alfred Letia, Anca Goron,