Searched defs:atoms (Results 1 - 3 of 3) sorted by relevance

/owl-s/src/org/mindswap/owl/
H A DOWLModel.java680 * Apply the given set of (ground) atoms to the model. Simply adds new assertions to the
683 * @param atoms
686 public void apply(AtomList atoms) throws UnboundVariableException; argument
689 * Similar to apply but simply skips the nonground atoms instead of throwing an
692 * @param atoms
694 public void applyGround(AtomList atoms); argument
697 * Check if the conjunction of given atoms is entailed by the model.
706 * <code>ABoxQuery</code> and then it is checked if the conjunction of atoms in the
730 * ValueMap object if the atoms in the query are entailed (again an empty list
744 * ValueMap object if the atoms i
[all...]
/owl-s/src/impl/jena/
H A DOWLModelImpl.java1005 public void applyGround( AtomList atoms ) {
1006 apply( atoms, true );
1009 public void apply( AtomList atoms ) throws UnboundVariableException {
1010 apply( atoms, false );
1013 private void apply( AtomList atoms, boolean skipUnground ) { argument
1015 for( AtomList list = atoms; !list.isEmpty(); list = (AtomList) list.getRest() ) {
1071 AtomList atoms = condition.getBody();
1074 if( atoms == null )
1077 atoms = atoms
[all...]
/owl-s/lib/pellet/
H A Dpellet.jarcom/ com/lre/ com/lre/graph/ com/lre/graph/Edge.class Edge.java package com.lre ...

Completed in 43 milliseconds