owl.swrl.owl Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of swrlapi Show documentation

Java API for working with SWRL rules and SQWRL queries

There is a newer version: 2.1.2



         
	 
	 
         
         
]>




  OWL definition of the RDF Concrete Syntax for the Semantic Web Rule Language
  $Id: swrl.owl,v 1.15 2004/11/09 11:58:28 mdean Exp $



  implication (rule)
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  



  rule head (consequent):  List of Atom



  rule body (antecedent):  List of Atom



  indicate that a URI is being used as a variable



  common superclass



  
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  







  can be a Literal or Resource



  
  consists of a classPredicate and argument1
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  





  
  consists of a propertyPredicate (owl:ObjectProperty), argument1 (owl:Thing), and argument2 (owl:Thing)
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  





  
  consists of a propertyPredicate (owl:DatatypeProperty), argument1 (owl:Thing), and argument2 (rdfs:Literal)
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  



  
  consists of argument1 (owl:Thing) and argument2 (owl:Thing)
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  



  
  consists of argument1 (owl:Thing) and argument2 (owl:Thing)
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  



  
  consists of a builtin and a List of arguments
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1
    
  











  
  consists of a dataRange and argument1
  
    
      
      
    
  
  
    
      
      1
    
  
  
    
      
      
    
  
  
    
      
      1