Google provided very comprehensive online version of Google Docs which is quite feature rich and reliable. I'm thinking of a desktop version built on their API & RESTful services. Yet I'm in early stage of reasoning and doing analysis. Inarguably it's good to improve skills, gain experience and create great tutorials for RESTful web ser...
I'd like to create an application that can do simple reasoning using first order logic. Can anyone recommend an "engine" that can accept an arbitrary number of FOL expressions, and allow querying of those expressions (preferably accessible via Python)? ...
I am currently constructing an OWL ontology, which - until very recently classified rapidly using the Pellet reasoner. However, since the introduction of several new classes, the reasoning performance has slowed to a crawl. Although the reasoner completes and the ontology does not contain any unsatisfiable concepts etc, the time the reas...
Is subjective reasoning (with incomplete knowledge) synonymous with extended logic or inductive logic? ...
Hello, I have created an RDF/OWL file using Protege 4.1 alpha. I also created a defined class in Protege called CheapPhone. This class has a restriction which is shown below : (hasPrice some integer[< 350]) Whenever, a price of a phone is below 350, it is inferred as CheapPhone. There is no problem for inferring this in Protege 4.1 a...
Hi, I would like to learn about Deontic reasoning and wasn't able to get basic materials as far as i searched. Can anyone please help me to know more on deontic reasoning. Thanks in advance ...
Hi, I'm writing a compiler for a dataflow programming language I have designed. One of the features that I really like about it is that you can express the following: x <- a + 1 if b > 3; x <- a - 1 if b <= 3; Which implies something like: x <- a - 1 + 2*(b>3); In order to pull this off though the compiler needs to know that: ((b >...
I need to write rules for deontic logic, is there any programming language to do that? I saw prolog and I'm learning now but how to express deontic logic in PROLOG? please help ...