description-logic-My Code Helper

Understanding universal restri...

first-order-logic description-logic

ALC - Ontology consistency che...

owl ontology reasoning description-logic

OWL: Create a class definition...

sparql owl protege rdfs description-logic

Translate "there exists o...

description-logic

Translate English expression &...

description-logic

Translate english sentences to...

description-logic

ALC: define an ALC Knowledge B...

description-logic

Connection failed with racer r...

java description-logic

Adding statements of knowledge...

owl ontology protege description-logic

How to distinguish the terms &...

logic owl rdfs first-order-logic description-logic

How is: "A subclassOf of ...

owl semantic-web rdfs reasoning description-logic

Description Logic representati...

description-logic

How to add qualified cardinali...

java rdf jena owl description-logic

How to generate axioms in Desc...

ontology protege description-logic

Range Definition in DL...

owl description-logic

Owl Formal Semantics...

owl ontology description-logic

Usage of Existential Quantifie...

ontology description-logic

DL expression generation using...

java owl-api description-logic

OWL 2 QL vs. RDFS...

owl ontology rdfs description-logic

Why can't I directly use m...

java owl ontology owl-api description-logic

retrieving most specific class...

sparql owl dbpedia description-logic

Can this be expressed using AL...

semantic-web description-logic

In OWL 2, why is the semantics...

owl semantic-web description-logic

Writing ontologies in DL synta...

logic owl ontology protege description-logic

How to write a nested DL query...

owl protege description-logic dlquery

Restriction on object property...

ontology protege description-logic object-properties

property assertions on class l...

inheritance owl semantic-web protege description-logic

(Un)Inferred Subclass Rules Pr...

owl protege owl-api description-logic

DL Reasoner vs Rule Engine: ca...

rule-engine description-logic

Nomenclature: parametrized cla...

rdf semantic-web owl description-logic