Stack Overflow
Stack Overflow

Questions tagged [reification]

Reification refers to process of taking an abstract concept and making a concrete representation out of it.

67 questions
4
votes
3 answers

Reification integration issues

I offered the following clpfd-based code for the recent question Segregating Lists in Prolog: list_evens_odds([],[],[]). list_evens_odds([X|Xs],[X|Es],Os) :- X mod 2 #= 0, list_evens_odds(Xs,Es,Os). list_evens_odds([X|Xs],Es,[X|Os]) :- X…
repeat
  • 18,496
  • 4
  • 54
  • 166
3
votes
1 answer

SPARQL property path in reified rdf triples

Is it possible, to use property path with reified rdf triples? I like to get all superclasses of a specified class (stored in ?class). PREFIX rdf: PREFIX rdfs:…
Helpy
  • 33
  • 3
3
votes
2 answers

Translating a complex Sentence into set of SPO triple (RDF) (maybe with reification)

Having just started out in RDF and ontology, mainly in converting unstructured text to RDF (maybe manually), I found many examples for converting simple sentences to RDF triples 1 2 3, but not much about complex sentences (using adjectives or…
solyarist
  • 424
  • 3
  • 17
3
votes
0 answers

Using RDF to model normal sentences

I'm trying to somehow store everyday sentences -- or rather the information expressed by the sentences -- in a (semi-)structured manner. Right now, I'm exploring the feasibility of RDF for that. I'm not familiar with RDF enough to assess if this is…
Christian
  • 3,239
  • 5
  • 38
  • 79
3
votes
2 answers

Redundant answers of reified predicate variant of append/3

I wanted to offer a logically pure solution to some other recent problem in this forum. As a start, I implemented a reified variant of append/3 and named it appendR/4. It is based on the predicates if_/3 and (=)/3 implemented by @false in Prolog…
repeat
  • 18,496
  • 4
  • 54
  • 166
2
votes
2 answers

Enforce a typeclass constraint on an existing datatype

Maybe there is a better way of achieving what I want, but this is my current attempt. I am working with the singletons package in order to reify values into types. This works fine, but at some point I will have to run a function that is polymorphic…
Jack Ek
  • 23
  • 4
2
votes
0 answers

RDF triple stores that allow reification

Is there a triple store that provides built-in support for reification? What one would like is - on entering a RDF triple in the datastore, a URI corresponding to the entered triple is generated and output; this URI can then become the object of…
solyarist
  • 424
  • 3
  • 17
2
votes
2 answers

Download Wikidata single entity - truthy

I would like to download Wikidata for a single entity. I know I can achieve using the URL, for example: https://www.wikidata.org/wiki/Special:EntityData/Q42.rdf Will give me Wikidata for Douglas Adams in RDF format. But this data is fully, meaning…
Vijay Chavda
  • 826
  • 2
  • 15
  • 34
2
votes
1 answer

Can OWL punning help in defining data properties on object property?

Punning (which was introduced in OWL 2 DL) allows one to give the same name (IRI) to a Class and an Object Property (see Association Example). Can I use this way of meta-modelling to attach attributes on a relation? For instance, the relation drives…
SuhasD
  • 728
  • 2
  • 7
  • 20
2
votes
2 answers

Can't show due to ambiguous type while using Data.Reflection in Haskell

I'm very new to Haskell and am trying to create a type that will represent any instance of Integral over some modulus. I found some example code online and am working with that, so my type definition looks like this: data Zn n a = Zn !a !a Most…
hatgirl
  • 101
  • 1
  • 1
  • 7
1
vote
1 answer

Reification and SPARQL* in Jena: Compatibility

Can I use a SPARQL* query to query a classic RDF model that uses reification? To me, the Jena documentation is a bit vague here. The code below creates a reified statement: << …
Janothan
  • 446
  • 4
  • 16
1
vote
2 answers

RDF, is it valid to have a single rdf:Statement with multiple rdf:predicate triples attached?

As per subject, Is it valid to assert a single rdf:Statement with multiple rdf:predicate triples attached to it? Background: I'm trying to build inferred triples by means of simple rules based on SPARUL (ie, INSERT WHERE…
zakmck
  • 2,715
  • 1
  • 37
  • 53
1
vote
1 answer

Use automatically-assigned blank node with reified data

I'm trying to query a dataset which uses the RDF reification vocabulary, something like this: myprefix:statement1 rdf:subject myprefix:object1 . myprefix:statement1 rdf:predicate myprefix:isrelatedto . myprefix:statement1 rdf:object myprefix:object2…
Cartmo
  • 73
  • 6
1
vote
1 answer

How to serialize an annotated axiom to the RDF form?

Let's take the axiom SubClassOf( DataAllValuesFrom( xsd:boolean ) ObjectSomeValuesFrom( owl:Thing ) Annotation( rdfs:comment "comm"^^xsd:string ) ). What should this axiom look like in the form of RDF? If I understand the specification…
ssz
  • 835
  • 1
  • 6
  • 18
1
vote
0 answers

how to represent owl generic e.g. parametric classes?

I understand owl doesn't have generic e.g. parametric classes: POTUS(startyear,endyear). What is the best way to represent this? is my only alternative using instances and reification rather than classes? my model has to be able to answer who the…
Koenig Lear
  • 2,366
  • 1
  • 14
  • 29
1 2
3
4 5