Article ID Journal Published Year Pages File Type
6934756 Journal of Visual Languages & Computing 2015 22 Pages PDF
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
, ,