Abstract_Entity

An abstract concept is a concept which does not (necessarily) have a referent in either the physical or the mental world. Abstract entities are (proto)mathematical, formal entities, entities which have a purely formal, logical or mathematical meaning. As all concepts are abstractions, one may argue that a separate abstract world is difficult to see. In common-sense, a circle has more properties and is less abstract than in mathematics. Even mathematicians marvel about the fact their pure abstractions enable us to predict very concrete things. However, we are not directly concerned with these mappings. The most important is that common-sense knows about a (small) number of proto-mathematical concepts, such as collections, sequences and count-numbers (positive integers). We know also about geometric simplifications such as line, circle, square, cube, etc. These common sense notions might even be the real roots of our mathematics. However, these kind of semi-formal abstractions do not play a very central role in law, and therefore LRI-Core is thinly populated with abstract classes.

http://www.estrellaproject.org/lkif-core/lkif-top.owl#Abstract_Entity

An abstract concept is a concept which does not (necessarily) have a referent in either the physical or the mental world. Abstract entities are (proto)mathematical, formal entities, entities which have a purely formal, logical or mathematical meaning. As all concepts are abstractions, one may argue that a separate abstract world is difficult to see. In common-sense, a circle has more properties and is less abstract than in mathematics. Even mathematicians marvel about the fact their pure abstractions enable us to predict very concrete things. However, we are not directly concerned with these mappings. The most important is that common-sense knows about a (small) number of proto-mathematical concepts, such as collections, sequences and count-numbers (positive integers). We know also about geometric simplifications such as line, circle, square, cube, etc. These common sense notions might even be the real roots of our mathematics. However, these kind of semi-formal abstractions do not play a very central role in law, and therefore LRI-Core is thinly populated with abstract classes.

Abstract_Entity

http://www.w3.org/2002/07/owl#Thing