Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/11814771_26> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- 11814771_26 chapter "FaCT++ Description Logic Reasoner: System Description".
- 11814771_26 doi "10.1007/11814771_26".
- 11814771_26 first1 "D.".
- 11814771_26 first2 "I.".
- 11814771_26 isCitedBy Description_logic.
- 11814771_26 isCitedBy Ian_Horrocks.
- 11814771_26 isCitedBy Web_Ontology_Language.
- 11814771_26 isbn "978-3-540-37187-8".
- 11814771_26 last1 "Tsarkov".
- 11814771_26 last2 "Horrocks".
- 11814771_26 pages "292–297".
- 11814771_26 series "Lecture Notes in Computer Science".
- 11814771_26 title "Automated Reasoning".
- 11814771_26 url "http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/2006/TsHo06a.pdf".
- 11814771_26 volume "4130".
- 11814771_26 year "2006".