Description logic rules /
保存先:
第一著者: | Krötzsch, Markus |
---|---|
フォーマット: | 電子媒体 eBook |
言語: | 英語 |
出版事項: |
Heidelberg, Germany :
AKA : IOS Press,
2010.
|
シリーズ: | Studies on the Semantic Web ;
v. 8. |
主題: | |
オンライン・アクセス: | An electronic book accessible through the World Wide Web; click to view |
タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
The description logic handbook theory, implementation, and applications /
出版事項: (2003)
出版事項: (2003)
Semantic matchmaking with nonmonotonic description logics /
著者:: Grimm, Stephen
出版事項: (2009)
著者:: Grimm, Stephen
出版事項: (2009)
Descriptive geometry : metric /
出版事項: (1987)
出版事項: (1987)
Description in literature and other media
出版事項: (2007)
出版事項: (2007)
International Standard Bibliographic Description (ISBD)
出版事項: (2007)
出版事項: (2007)
Descriptive psychology
著者:: Brentano, Franz Clemens, 1838-1917
出版事項: (1995)
著者:: Brentano, Franz Clemens, 1838-1917
出版事項: (1995)
Reference and description the case against two-dimensionalism /
著者:: Soames, Scott
出版事項: (2007)
著者:: Soames, Scott
出版事項: (2007)
Fundamentals of digital logic : with VHDL design /
著者:: Brown, Stephen
出版事項: (2009)
著者:: Brown, Stephen
出版事項: (2009)
Formal ontology in information systems proceedings of the fourth international conference (FOIS 2006) /
出版事項: (2006)
出版事項: (2006)
Knowledge representation and reasoning
著者:: Brachman, Ronald J., 1949-
出版事項: (2004)
著者:: Brachman, Ronald J., 1949-
出版事項: (2004)
Formal ontologies meet industry
出版事項: (2008)
出版事項: (2008)
Formal ontologies meet industry
出版事項: (2009)
出版事項: (2009)
Formal ontologies meet industry proceedings of the fifth international workshop (FOMI 2011) /
出版事項: (2011)
出版事項: (2011)
Building ontologies with Basic Formal Ontology /
著者:: Arp, Robert, 等
出版事項: (2015)
著者:: Arp, Robert, 等
出版事項: (2015)
Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014) /
出版事項: (2014)
出版事項: (2014)
VHDL for logic synthesis
著者:: Rushton, Andrew
出版事項: (2011)
著者:: Rushton, Andrew
出版事項: (2011)
The minimum description length principle
著者:: Gr?unwald, Peter D.
出版事項: (2007)
著者:: Gr?unwald, Peter D.
出版事項: (2007)
RDA : resource description & access /
出版事項: (2013)
出版事項: (2013)
ISBD International Standard Bibliographic Description /
出版事項: (2011)
出版事項: (2011)
North of South : an African journey /
著者:: Naipaul, Shiva
出版事項: (1980)
著者:: Naipaul, Shiva
出版事項: (1980)
Hybrid parallel execution model for logic-based specification languages
著者:: Tsai, Jeffrey J.-P
出版事項: (2001)
著者:: Tsai, Jeffrey J.-P
出版事項: (2001)
Logic and language
著者:: Dean, Neville
出版事項: (2003)
著者:: Dean, Neville
出版事項: (2003)
Logic /
著者:: Cark , Gordon H.
出版事項: (1985)
著者:: Cark , Gordon H.
出版事項: (1985)
Intermediate logic
著者:: Bostock, David
出版事項: (1997)
著者:: Bostock, David
出版事項: (1997)
IFLA cataloguing principles steps towards an international cataloguing code, 5 : report from the 5th IFLA Meeting of Experts on an International Cataloguing Code, Pretoria, South Africa, 2007 = IFLA principes de catalogage : pas vers un code international de catalogage, 5 = IFLA princípios de catalogação : passos para um código internacional de catalogação, 5 /
出版事項: (2008)
出版事項: (2008)
Logic, form, and grammar
著者:: Long, Peter, 1926-
出版事項: (2001)
著者:: Long, Peter, 1926-
出版事項: (2001)
Logical properties identity, existence, predication, necessity, truth /
著者:: McGinn, Colin, 1950-
出版事項: (2000)
著者:: McGinn, Colin, 1950-
出版事項: (2000)
Logic
著者:: Tomassi, Paul, 1962-
出版事項: (1999)
著者:: Tomassi, Paul, 1962-
出版事項: (1999)
Logic
著者:: Pfänder, Alexander
出版事項: (2009)
著者:: Pfänder, Alexander
出版事項: (2009)
Logic : inquiry, argument, and order /
著者:: Pratt, Scott L.
出版事項: (2010)
著者:: Pratt, Scott L.
出版事項: (2010)
Logic : the theory of formal inference /
著者:: Ambrose, Alice, 等
出版事項: (2015)
著者:: Ambrose, Alice, 等
出版事項: (2015)
The road to Bethlehem : two thousand... /
著者:: Harpur, Tom
出版事項: (1977)
著者:: Harpur, Tom
出版事項: (1977)
African diary : my search for understanding /
著者:: Chielicke, Helmut
出版事項: (1974)
著者:: Chielicke, Helmut
出版事項: (1974)
Life world library Italy /
著者:: Kubly, Herbert
出版事項: (1961)
著者:: Kubly, Herbert
出版事項: (1961)
Guide to Greece : Central Greece.
出版事項: (1971)
出版事項: (1971)
African Calliope : A journey to the Sudan /
著者:: Hoagland, Edward
出版事項: (1978)
著者:: Hoagland, Edward
出版事項: (1978)
Cut stone and crossroads : a journey in the two worlds of peru /
著者:: Wright, Ronald
出版事項: (1984)
著者:: Wright, Ronald
出版事項: (1984)
Logical inquiries : basic issues in philosophical logic /
著者:: Rescher, Nicholas
出版事項: (2014)
著者:: Rescher, Nicholas
出版事項: (2014)
Logic and introduction /
著者:: Odhiambo,F Ochieng
出版事項: (1996)
著者:: Odhiambo,F Ochieng
出版事項: (1996)
Introduction to logic /
著者:: Copi, Irving M.
出版事項: (1982)
著者:: Copi, Irving M.
出版事項: (1982)
類似資料
-
The description logic handbook theory, implementation, and applications /
出版事項: (2003) -
Semantic matchmaking with nonmonotonic description logics /
著者:: Grimm, Stephen
出版事項: (2009) -
Descriptive geometry : metric /
出版事項: (1987) -
Description in literature and other media
出版事項: (2007) -
International Standard Bibliographic Description (ISBD)
出版事項: (2007)