List Question
20 TechQA 2023-12-02T18:01:34.820000Remove newspaper wordpress theme automatic post/page description
69 views
Asked by MUBBASHER YASIN
How can I make comments/descriptions in MQL4 code?
72 views
Asked by Samaara
OWLAPI and HermiT reasoner: can not force irreflexive transitive object property
43 views
Asked by Chaos
ALC - Ontology consistency checking
76 views
Asked by Alex
OWL: Create a class definition that has multiple object properties that need to be related?
104 views
Asked by TommyProtege
Translate English expression "exactly four" in ALCQO description logic
40 views
Asked by NikSp
Translate "there exists one" from English sentence to ALCQO description logic
82 views
Asked by CodeEnthusiast
Translate english sentences to ALC description logic
142 views
Asked by CodeEnthusiast
ALC: define an ALC Knowledge Base
80 views
Asked by C96
What is the best way to read ∃r.∃s.C(a) for OWL 2 in plain English?
59 views
Asked by Masroor
Equivalence between two domain expressions in OWL 2
65 views
Asked by Masroor
In OWL, is it possible to assert that a class is not "empty"?
98 views
Asked by Win32
Connection failed with racer reasoner
32 views
Asked by dev
How is: "A subclassOf of B, C" interpreted? As AND or OR in rdfs / owl / description logic?
184 views
Asked by user3352632
How to query the most specific type of a property
76 views
Asked by ZorgoZ
Infer non-trivial OWL superclasses (or subclasses) assertions using a Java reasoner
74 views
Asked by user402843
OWL 2 QL axioms in simple language
208 views
Asked by fairyjee
Description Logic representation that requires the modelling of sameness or distiction of two individuals
40 views
Asked by Plaban Kumar Bhowmik
Description Logics UTF-8 parser
99 views
Asked by jgran