python (65.1k questions)

javascript (44.2k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (12.9k questions)

Questions - reasoning

what is the best approach to the cost compare

If one bottle costs more than one cap, which statement is true? one bottle + one cap costs more than two bottles one bottle costs more than two caps two caps cost more than one bottle one bottle + on...
test-img

calmsoul

reasoning

Votes: 0

Answers: 1

Latest Answer

You could solve it by rewriting the expressions into inequalities and graphing it out. Making inequalities For how to graph it, check this link So I would basically see this as a set of inequalities, ...
test-img

Lars

OWL reasoning from command line with minimal dependencies

I have an OWL file in rdf/xml syntax which contains an asserted ontology. I want to apply an OWL DL reasoner to derive additional axioms. I know I could open the file in protegé and apply the reasoner...
test-img

cknoll

owl

protege

owl-api

reasoning

owlready

Votes: 0

Answers: 2

Latest Answer

Due to the encouragement in the question's comments I managed to build openllet. Here I document the steps: Install up-to-date java (see e.g. here https://techviewleo.com/how-to-install-temurin-openj...
test-img

cknoll

How is: "A subclassOf of B, C" interpreted? As AND or OR in rdfs / owl / description logic?

Is the following interpreted as the intersection (AND) in the sense that members of class A are members of B and C; or as the disjunction (OR) that members of A are a member of B, or a member of C, or...
test-img

user3352632

owl

semantic-web

rdfs

reasoning

description-logic

Votes: 0

Answers: 1

Latest Answer

I can quote RDFS, and considering OWL should follow from that, I don't expect any difference there: If a class C is a subclass of a class C', then all instances of C will also be instances of C'. The...
test-img

IS4

OWLAPI: Reasoning over ontology with disjunctions

I have an ontology with one individual a and 6 classes (A, B, C, D, E, F). Individual belongs to the following disjunctions: (A or B; C or D; E or F). There is some way how can I infer that an individ...
test-img

IvetX

ontology

owl-api

reasoning

pellet

hermit

Votes: 0

Answers: 1

Latest Answer

Set ontologyTypes = EntitySearcher.getTypes(ind, ontology).collect(toSet()); The OWLObjectUnionOf elements returned correspond to the (A or B) disjunctions mentioned in your question. The class name...
test-img

Ignazio

Posts

Questions

Blogs

Jobs