Armen Inants photo

I am a mathematician working on knowledge representation and reasoning. I also do freelance web development with a focus on semantic web technologies.

My primary research interests are algebraic frameworks for knowledge representation and reasoning, particularly in the semantic web field, and scalable reasoning methods for algebraic calculi.

I am also interested in spatial reasoning and its applications in robotics.

Updated on May 19, 2016.

Web development

I do freelance web development in these main directions:

  • graph-based data management
  • integration of ontologies into web applications
  • full-stack front-end development
  • visualization and accessibility of graph-based data


Semantic Web:
RDF databases:
Virtuoso, Sesame, Jena
Relational databases:
Postgres, MySQL
JavaScript, Perl, PHP, Java
Front-end technologies:
HTML5, CSS3, SASS, Angular, Backbone, D3
Git, Node.js, Grunt, Linux administration

Check out my profile on Upwork


My contribution is a general framework for algebraic reasoning with heterogeneous relations and an algebraic calculus for reasoning with weighted taxonomic relations.

PhD thesis

  • Armen Inants. "Qualitative calculi with heterogeneous universes". PhD thesis. University of Grenoble Alpes, 2016.

    Abstract. Qualitative representation and reasoning operate with non-numerical relations holding between objects of some universe. The general formalisms developed in this field are based on various kinds of algebras of relations, such as Tarskian relation algebras. All these formalisms, which are called qualitative calculi, share an implicit assumption that the universe is homogeneous, i.e., consists of objects of the same kind. However, objects of different kinds may also entertain relations. The state of the art of qualitative reasoning does not offer a general combination operation of qualitative calculi for different kinds of objects into a single calculus.

    Many applications discriminate between different kinds of objects. For example, some spatial models discriminate between regions, lines and points, and different relations are used for each kind of objects. In ontology matching, qualitative calculi were shown useful for expressing alignments between only one kind of entities, such as concepts or individuals. However, relations between individuals and concepts, which impose additional constraints, are not exploited.

    This dissertation introduces modularity in qualitative calculi and provides a methodology for modeling qualitative calculi with heterogeneous universes. Our central contribution is a framework based on a special class of partition schemes which we call modular. For a qualitative calculus generated by a modular partition scheme, we define a structure that associates each relation symbol with an abstract domain and codomain from a Boolean lattice of sorts. A module of such a qualitative calculus is a sub-calculus restricted to a given sort, which is obtained through an operation called relativization to a sort. Of a greater practical interest is the opposite operation, which allows for combining several qualitative calculi into a single calculus. We define an operation called combination modulo glue, which combines two or more qualitative calculi over different universes, provided some glue relations between these universes. The framework is general enough to support most known qualitative spatio-temporal calculi.

Published papers

  • Armen Inants and Jérôme Euzenat. "An algebra of qualitative taxonomical relations for ontology alignments". In: The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I. Springer, 2015, pages 253–268.

Submitted papers

  • Armen Inants, Manuel Atencia, and Jérôme Euzenat. "Algebraic qualculi for weighted ontology alignments". Submitted to ISWC 2016.


armen at inants dot com
LinkedIn, Github, Upwork