All public logs
Jump to navigation
Jump to search
Combined display of all available logs of BITPlan cr Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:46, 14 February 2026 Wf talk contribs created page Talk:DOLA (Created page with "<pre> is is possible to translate owl description logic terms to lola-2? 35 seconds ago Favicon for anthropic Claude Opus 4.6 Translating OWL Description Logic to LOLA-2 This is an interesting but somewhat unusual question. Let me break it down. Clarifying the Systems OWL DL is based on Description Logics (primarily SHOIN(D) for OWL 1 and SROIQ(D) for OWL 2), with constructs like: DL Construct Syntax Meaning Concept Intersection C⊓D AND of concepts Concept Union C...")