All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.protege.owl.rdf.api.OwlTripleStore Maven / Gradle / Ivy

There is a newer version: 3.0.0
Show newest version
package org.protege.owl.rdf.api;

import info.aduna.iteration.CloseableIteration;

import org.openrdf.model.BNode;
import org.openrdf.repository.Repository;
import org.openrdf.repository.RepositoryException;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLOntologyID;

public interface OwlTripleStore {

	Repository getRepository();
	
	void addAxiom(OWLOntologyID ontologyId, OWLAxiom axiom) throws RepositoryException;
	
	void removeAxiom(OWLOntologyID ontologyId, OWLAxiom axiom) throws RepositoryException;
	
	boolean hasAxiom(OWLOntologyID ontologyId, OWLAxiom axiom) throws RepositoryException;
		
	CloseableIteration listAxioms(OWLOntologyID ontologyId) throws RepositoryException;
	
	OWLClassExpression parseClassExpression(BNode classExpressionNode) throws RepositoryException;
	
	boolean integrityCheck() throws RepositoryException;
	
	boolean incorporateExternalChanges() throws RepositoryException;
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy