Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in reasoning

OWL: How to get inheritance of property relations between two classes from those of superclasses?

owl protege inference reasoning object-property

OutOfMemoryError using Pellet as Reasoner

rdf jena ontology reasoning pellet

OWL reasoning: Necessary and sufficient conditions for inferring a property

properties owl protege inference reasoning

When using rdfs:subClassOf or owl:equivalentClass in case of existential quantification (owl:SomeValuesFrom) for a OWL class restriction constructor?

logic owl semantic-web rdfs reasoning

Closure axiom for instances so that reasoner can correctly classify instances in ontology

instance classification owl ontology reasoning

Member of an owl:Class versus owl:NamedIndividual

owl reasoning turtle-rdf

Last non-zero digits of a very large factorial

algorithm math logic factorial reasoning

counting down in scala for loop [duplicate]

performance scala scala-2.9 reasoning

Define rules for AllegroGraph triples and how to apply them

semantic-web reasoning allegrograph

Reasoning with Fuseki, TDB and named graphs?

jena fuseki reasoning tdb named-graphs

Using Jena reasoner on Neo4J db

database neo4j jena reasoning

Why is there no static QDir::makepath()?

qt reasoning qdir

What is import java.util.UUID used for?

java import unique uuid reasoning

First Order Logic Engine

python logic machine-learning reasoning