Reification refers to process of taking an abstract concept and making a concrete representation out of it.
Questions tagged [reification]
67 questions
0
votes
1 answer
Kotlin: UnsupportedOperationException for reified generic with get/set operator
I am trying to convert the functions read and write in my library to operator functions get and set, respectively. My functions use a reified generic type, they are also inline methods. (You can see my library here.)
The compiler has no issue…
Jire
- 9,680
- 14
- 52
- 87
0
votes
1 answer
Clojure deftype referencing other type
Trying to use one type from another type doesn't seem to work:
(deftype Foo [^int a ^int b])
(definterface Bars (^Foo makefoo []))
(deftype Bar [^int a ^int b] Bars (^Foo makefoo [this] (Foo. 1 2)))
;java.lang.NoClassDefFoundError:…
Kevin Kostlan
- 3,311
- 7
- 29
- 33
0
votes
0 answers
How to implement weighted data property in protege 4
I am implementing an ontology to check for semantic similarity between individuals of different classes of animals. Say Cow is exactly similar to Cow and nearly similar to buffalo/bull etc. but cow is not similar to dog. i have different data…
learner
- 757
- 2
- 14
- 35
0
votes
1 answer
Reification of a statement in a model without that statement in the model?
More specifically, this is to represent a situation such as "John said the car is blue," without necessarily having "the car is blue" in the current ontology. My code would have to check it afterward. I may have an idea on how to do it with OWL2…
MaatDeamon
- 9,532
- 9
- 60
- 127
0
votes
1 answer
type constraints and reifications regarding to joinLeft of Either
joinLeft is defined as:
abstract class Either[+A, +B]
def joinLeft[A1 >: A, B1 >: B, C](implicit ev: A1 <:< Either[C, B1]):
Either[C, B1] = this match {
case Left(a) => a
case Right(b) => Right(b)
}
With the known A and B, we need an…
cfchou
- 1,239
- 1
- 11
- 25
-1
votes
2 answers
How to pass a generic interface to a method where it is reified?
I have a generic interface
public interface MyInterface {
T method(T input);
}
and a couple of implementations of it, via ordinary classes like
public class MyClass implements MyInterface {
@Override
public T method(T input) {
…
John McClane
- 3,498
- 3
- 12
- 33
-2
votes
2 answers
Attributes on object property in ontology
How to associate attributes with object properties in ontology ?
I have come across a way in which object property can be defined as a class. But this approach makes defining rules difficult. Is there any other way ?
Narendra Kulkarni
- 75
- 8