Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] How to assign NULL (un-assigne an instance) in SWRL rule?

Martin O'Connor martin.oconnor at stanford.edu
Wed Apr 11 12:11:46 PDT 2007


SWRL (or OWL) do not support retraction at the language level. An 
OWL+SWRL ontology is a logical model and if SWRL statements in that 
model cause assertions to be made that contradict previous assertions 
then the model in inconsistent.

Also, there is no null in OWL: an individual either has a particular 
property with a value or it does not - there is no empty value.

Martin

shahab wrote:

>Hi everyone,
>
>I am trying to write a SWRL rule in which the result of implication would
>be un-assigning, breaking the already assigned relation , between two
>instances.
>for example :
>
>hasCurrentState(Queue_Inst, Queue_Contains)  → 
>hasCurrentState(Queue_Inst,  NULL??? ),
>
>in which domian (hasCurrentState) = Queue and Queue_Inst is an individual
>of Queue,
>and  range (hasCurrentState) = QueueState and Queue_Contains is an
>individual of QueueSatate,
>
>Now the problem is that how can I show the NULL instance( no instance)?
>How can I break this relation between two instances in SWRL rules in SWRL
>Tab?
>
>regards,
>
> ------------------------------------------------------------------------
> No need to miss a message. Get email on-the-go 
> <http://us.rd.yahoo.com/evt=43910/*http://mobile.yahoo.com/mail>
> with Yahoo! Mail for Mobile. Get started. 
> <http://us.rd.yahoo.com/evt=43910/*http://mobile.yahoo.com/mail>
>
>------------------------------------------------------------------------
>
>_______________________________________________
>protege-owl mailing list
>protege-owl at lists.stanford.edu
>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>  
>




More information about the protege-owl mailing list