Please, seeking advice from niaraland programmers. I am having a serious headache getting my eyes around pellet codes. Is there anyone who can infer me to how a reasoner is being built. I really would be grateful for any help or advice.

You might want to explain what that is for those of us who don't know what you are talking about

FYI a reasoner is a library or an app that is used to arrange an ontology or rearrange information frantically without human intervention. for you to be able to work with this u need to download the reasoner go to the folder it was downloaded to then extract the jar library to study the api. pls note that you have to be proficient with java programs or ready to learn as I don't know what u want to use it for. cheers

@ futherxxx thanks, I actually am to implement a new operator since it has the a and k operators. I really would love to get my hands on a detailed written tableau algorithm, because papers I am getting on them are not really helping matters. The java part I can say its not a problem, I am good at it to my knowledge. We can pm so that we can share ideas on what I am talking about in details if thats okay by you. @fayimora 'futherxxx' kinda hit the nail in, but can explain futher if need be. And much love & respect for the show of interest. I really do appreciate the response(s).

if u fink we could do something on phone my no is 07034952654 I'm kind of full bit I fb still receive text for now. a and k operators pls explain to the motive of d project. my last topic on ontology was mobile agent and ontology for automatic diagnosis and prescription of drugs.

im really interested in ontology, im working on information retrieval system based on ontology, i really need help on it. thanks, my no: 08067493797.

i'm sorry been ignoring your calls...

i am so sorry it took a while for me to compile this i've been so busy walking the rope you know now(red tapes).

The main stuff starts here ...

Important points of my Research methodology
software applications used
windows xp
netbeans
protege
sparql (check for arq online)or here (http://jena.apache.org/documentation/query/)
jade (mobile agent platform you might not require this )


Installation sequence
Implementation of ontology retrieval system using protege
Implementation of ontology using sparql
Implementation of ontology using java

Notes
ARQ is a query engine for jena that supports the SPARQL RDF query language SPARQL is the query language developed by w3c rdf data working group. To effectively query ontology an ontology processor would be required.

Features of ARQ
Standard SPARQL
Free text search via lucene
SPARQL Update
Access and extension of the SPARQL algebra

Using ARQ from java
jdk must be installed
classpath to include all ARQ Library must be included

mk this is not a conclusive way to work with rdf data but you might want to get your hands full with the disccusion
had on monday
1, For effective query of ontology semantically the subclass and the object(abstract class:which might be the discourse) is required
2. To make the system interactive this are the two questions that you might ask your user


I'm sorry i know i could have been of more help than this but i've been so overwhelmed by this new life i'm trying to live now. You know how to reach me for any other clarifications.

looking at the ontology, cars, vehicle, automobiles are subclass of fourwheels, when a user searches for either car or vehicle or automobile it should return results on vehicle, automobile, car since the all belong to the same class.
<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
<!ENTITY Ontologywheels "http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#" >
]>


<rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#"
xml:base="http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:Ontologywheels="http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#">
<owl:Ontology rdf:about="http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl"/>



<!-- http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#automobile -->

<owl:Class rdf:about="&Ontologywheels;automobile">
<rdfs:subClassOf rdf:resource="&Ontologywheels;fourwheels"/>
</owl:Class>



<!-- http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#cars -->

<owl:Class rdf:about="&Ontologywheels;cars">
<rdfs:subClassOf rdf:resource="&Ontologywheels;fourwheels"/>
</owl:Class>



<!-- http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#computer -->

<owl:Class rdf:about="&Ontologywheels;computer"/>



<!-- http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#fourwheels -->

<owl:Class rdf:about="&Ontologywheels;fourwheels"/>



<!-- http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#laptop -->

<owl:Class rdf:about="&Ontologywheels;laptop">
<rdfs:subClassOf rdf:resource="&Ontologywheels;computer"/>
</owl:Class>



<!-- http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#palmtop -->

<owl:Class rdf:about="&Ontologywheels;palmtop">
<rdfs:subClassOf rdf:resource="&Ontologywheels;computer"/>
</owl:Class>



<!-- http://www.semanticweb.org/ontologies/2012/5/Ontologywheels.owl#vehicle -->

<owl:Class rdf:about="&Ontologywheels;vehicle">
<rdfs:subClassOf rdf:resource="&Ontologywheels;fourwheels"/>
</owl:Class>
</rdf:RDF>