Counterfactuals and Hybrid Reasoning in an Ontolog

Abstract

In this paper, we present a formal legal cybercrime ontology using concrete tools. The purpose is to show how law articles and legal cases could be formally defined so that the problem of case resolution is reduced to a classification problem as long as cases are seen as subclasses of articles. Secondly, we show how counterfactual reasoning may be held over it within the framework of Description Logic. Lastly, we investigate the implementation of a hybrid system which is based both on this ontology and on a non-monotonic rule-based system which is used to execute an external ontology dealing with a technical domain in order to clarify some of the technical concepts.