Ontology-based type-system integrated tools to infer facts about information objects for .NET platform

Abstract

Development of a logical inference tool on ontologies for Microsoft.NET is considered. The tool stands out since it allows using the classes and objects of the object-oriented programming environment as concepts and individuals, respectively. This helps to construct the reasoning directly over program objects and provides typesafe tools to construct ontological descriptions of information. Restrictions associated with the potential of the C# and F# type systems for providing logical constructions are considered.