Prolog Based Description Logic Reasoning (Q5504674): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Efficient description logic reasoning in Prolog: The DLog system / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Deciding expressive description logics in the framework of resolution / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Translating OWL and semantic web rules into prolog: Moving toward description logic programs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Prolog technology theorem prover: A new exposition and implementation in Prolog / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Two Phase Description Logic Reasoning for Efficient Information Retrieval. / rank | |||
Normal rank | |||
Latest revision as of 00:31, 29 June 2024
scientific article; zbMATH DE number 5496710
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Prolog Based Description Logic Reasoning |
scientific article; zbMATH DE number 5496710 |
Statements
Prolog Based Description Logic Reasoning (English)
0 references
22 January 2009
0 references
description logic
0 references
logic programming
0 references
resolution
0 references
large data sets
0 references
0 references
