HermiT: an OWL 2 reasoner

HermiT: an OWL 2 reasoner

This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web Consortium (W3C). HermiT is based on the hypertableau calculus, and it supports a wide range of standard and novel optimisations t...

Detaylı Bibliyografya
Asıl Yazarlar:	Glimm, B, Horrocks, I, Motik, B, Stoilos, G, Wang, Z
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	Springer Netherlands 2014
Konular:	Logic, Symbolic and mathematical Artificial intelligence

Benzer Materyaller

The HermiT OWL Reasoner
Yazar:: Horrocks, I, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Commonsense reasoning : an event calculus based approach /
Yazar:: Mueller, Erik T.
Baskı/Yayın Bilgisi: (2015)

Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings /
Yazar:: Holldobler, Steffen, 1957-, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Mathematical reasoning /
Yazar:: 344032 Harnadek, Anita
Baskı/Yayın Bilgisi: (1969)

Mathematics and plausible reasoning /
Yazar:: Polya, George, 1887-1985
Baskı/Yayın Bilgisi: (1954)

Logic techniques of formal reasoning /
Yazar:: 390934 Kalish, Donald, ve diğerleri
Baskı/Yayın Bilgisi: (1980)

Formal methods in artificial intelligence /
Yazar:: 337716 Ramsay, Allan

Handling owl:sameAs via rewriting
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Elements of logical reasoning
Yazar:: 374310 Von Plato, Jan author
Baskı/Yayın Bilgisi: (2013)

Visualization, explanation and reasoning styles in mathematics /
Yazar:: Mancosu, Paolo, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
Yazar:: Stefanoni, G, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Logic : a foundation for computer science /
Yazar:: 307739 Sperschneider, V., ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Parallel OWL 2 RL materialisation in centralised, main-memory RDF systems
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Methodologies for intelligent systems, 4 /
Yazar:: International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.), ve diğerleri
Baskı/Yayın Bilgisi: (c198)

Reasoning about theoretical entities /
Yazar:: 198806 Forster, Thomas
Baskı/Yayın Bilgisi: (2003)

Cognitive reasoning : a formal approach /
Yazar:: 502900 Anshakov, O. M., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

A mathematical introduction to logic /
Yazar:: 461543 Enderton, Herbert B.
Baskı/Yayın Bilgisi: (1972)

Dictionary of symbols of mathematical logic /
Yazar:: Feys, Robert, ve diğerleri
Baskı/Yayın Bilgisi: (1973)

Scandinavian Logic Symposium, 2nd., University of Oslo, 1970 : Proceedings /
Yazar:: Scandinavian Logic Symposium (2nd : 1970 : University of Oslo), ve diğerleri
Baskı/Yayın Bilgisi: (1971)

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings /
Yazar:: Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Reasoning about uncertainty /
Yazar:: Halpern, Joseph Y., 1953-
Baskı/Yayın Bilgisi: (2005)

A course in mathematical logic /
Yazar:: Manin, Iu I
Baskı/Yayın Bilgisi: (1977)

Logic, methodology and philosophy of science IV : proceedings /
Yazar:: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), ve diğerleri
Baskı/Yayın Bilgisi: (1973)

Mantik : penggunaan dalam pendidikan matematik dan pemikiran /
Yazar:: Zaidatun Tasir, 1972-
Baskı/Yayın Bilgisi: (1995)

Logic for mathematicians /
Yazar:: 263948 Hamilton, Alan G.
Baskı/Yayın Bilgisi: (1978)

Logic for mathematicians /
Yazar:: 391265 Hamilton, A. G.
Baskı/Yayın Bilgisi: (1988)

Mathematical logic and the foundations of mathematics; and introductory surver /
Yazar:: 335802 Kneebone, G. T.
Baskı/Yayın Bilgisi: ([196)

Elements of mathematical logic (model theory) /
Yazar:: 351900 Kreisel, G., ve diğerleri
Baskı/Yayın Bilgisi: (1971)

Mathematical logic /
Yazar:: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), ve diğerleri
Baskı/Yayın Bilgisi: (1978)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
Yazar:: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), ve diğerleri
Baskı/Yayın Bilgisi: (1980)

Learning to reason : an introduction to logic, sets and relations /
Yazar:: Rodgers, Nancy, 1941-
Baskı/Yayın Bilgisi: (2000)

Non-axiomatic logic : a model of intelligent reasoning /
Yazar:: Wang, Pei 1958-, author
Baskı/Yayın Bilgisi: (2013)

A four-flagged lemma
Yazar:: Sertel, Murat R.
Baskı/Yayın Bilgisi: (2009)

CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77 /
Yazar:: Kechris, A. S.
Baskı/Yayın Bilgisi: (1978)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
Yazar:: De Alcantara, Luiz Paulo
Baskı/Yayın Bilgisi: (1985)

Transition to higher mathematics : structure and proof /
Yazar:: 222490 Dumas, Bob A., ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Combinatory logic /
Yazar:: 351193 Curry, Haskell Brooks, ve diğerleri
Baskı/Yayın Bilgisi: (1974)

Symbolic logic /
Yazar:: 372615 Jacquette, Dale
Baskı/Yayın Bilgisi: (2001)

Proceedings of the summer school and colloqium in mathematical logic /
Yazar:: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), ve diğerleri
Baskı/Yayın Bilgisi: (1969)

Languages, logic and mathematics /
Yazar:: Kilmister, C. W. (Clive William)
Baskı/Yayın Bilgisi: (1967)