Ontology Modeling 2.0: Next Steps

Semantic Web as a field of research and applications is concerned with methods and tools for data sharing, discovery, integration, and reuse, both on and off the World Wide Web. In the form of knowledge graphs and their underlying schemas, Semantic Web technologies are currently entering industrial mainstream. At the same time, the ever increasing prevalence of publicly available structured data on the Semantic Web enables new applications in a variety of domains, and as part of this presentation, we provide a conceptual approach that leverages such data in order to explain the input-output behavior of trained artificial neural networks. We apply existing Semantic Web technologies in order to provide an experimental proof of concept

Improving comprehension of Knowledge Representation languages: a case study with Description Logics

Knowledge representation languages are frequently difficult to understand, particularly for those not trained in formal logic. This is the case for Description Logics, which have been adopted for knowledge representation on the Web and in a number of application areas. This work looks at the difficulties experienced with Description Logics; and in particular with the widely-used Manchester OWL Syntax, which employs natural language keywords. The work comprises three studies. The first two identify a number of difficulties which users experience, e.g. with negated intersection, functional properties, the use of subproperties and restrictions. Insights from cognitive psychology and the study of language are applied to understand these difficulties. Whilst these difficulties are in part inherent in reasoning about logic, and Description Logics in particular, they are made worse by the syntax. In the third study, alternative syntactic constructs are proposed which demonstrate some improvement in accuracy and efficiency of comprehension. In addition to proposing alternative syntactic constructs, the work makes some suggestions regarding training and support systems for Description Logics