(Q56988783)

English

Optimizing Terminological Reasoning for Expressive Description Logics

No description defined

In more languages

edit

Statements

instance of

scholarly article

0 references

title

Optimizing Terminological Reasoning for Expressive Description Logics (English)

0 references

1 reference

Ian Horrocks

2

0 references

author name string

Dmitry Tsarkov

series ordinal

1

0 references

Peter F. Patel-Schneider

series ordinal

3

0 references

publication date

14 June 2007

0 references

published in

Journal of Automated Reasoning

0 references

volume

39

0 references

issue

3

0 references

page(s)

277-316

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

exact match

https://scigraph.springernature.com/pub.10.1007/s10817-007-9077-y

0 references

cites work

Am empirical analysis of optimization techniques for terminological representation systems

1 reference

stated in

Crossref

reference URL

https://api.crossref.org/works/10.1007%2FS10817-007-9077-Y

retrieved

21 January 2018

A Computing Procedure for Quantification Theory

1 reference

stated in

Crossref

reference URL

https://api.crossref.org/works/10.1007%2FS10817-007-9077-Y

retrieved

21 January 2018

OWL rules: A proposal and prototype implementation

1 reference

stated in

Crossref

reference URL

https://api.crossref.org/works/10.1007%2FS10817-007-9077-Y

retrieved

21 January 2018

From SHIQ and RDF to OWL: the making of a Web Ontology Language

1 reference

stated in

Crossref

reference URL

https://api.crossref.org/works/10.1007%2FS10817-007-9077-Y

retrieved

21 January 2018

The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications

1 reference

stated in

Crossref

reference URL

https://api.crossref.org/works/10.1007%2FS10817-007-9077-Y

retrieved

21 January 2018

Identifiers

DOI

10.1007/S10817-007-9077-Y

0 references

DBLP publication ID

journals/jar/TsarkovHP07

1 reference

stated in

DBLP Dataset 2021-01-02

retrieved

28 January 2021

zbMATH Open document ID

1132.68742

0 references

(Q56988783)

Optimizing Terminological Reasoning for Expressive Description Logics

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)