Аннотации:
© 2018 CEUR-WS. All Rights Reserved. This paper describes the results of semantic annotating and semantic search in a mathematical collection. We explored semantic models of contexts of a mathematical formula and applied the new knowledge to improving semantic search. The solutions are based on the application of the previously developed OntoMathPro ontology.