Skip to content

#27 begin, end are now owl:TransitiveProperty#28

Open
JervenBolleman wants to merge 1 commit intomasterfrom
branch#27
Open

#27 begin, end are now owl:TransitiveProperty#28
JervenBolleman wants to merge 1 commit intomasterfrom
branch#27

Conversation

@JervenBolleman
Copy link
Collaborator

As requested in issue #27 begin and end are now transitive. So you should be able to say

<regionsmall> faldo:begin <begin> .
<begin> a faldo:ExactPosition ; faldo:position 1 .

<regionbig> faldo:begin <regionsmall>

And this should infer

<regionbig> faldo:begin <begin> .
<begin> a faldo:ExactPosition ; faldo:position 1 .

This should not affect the FuzzyRegions.
However, I would appreciate it if someone confirms this with a test case.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant