-
1
-
-
4544311630
-
Basic description logics
-
[Baarder2003] (eds. Baader et al.). Chap. 2, Cambridge
-
[Baarder2003] Baarder, F., W. Nutt: Basic Description Logics, The Description Logic Handbook (eds. Baader et al.). Chap. 2, Cambridge (2003) 43-95
-
(2003)
The Description Logic Handbook
, pp. 43-95
-
-
Baarder, F.1
Nutt, W.2
-
2
-
-
17244373975
-
Conceptual modeling with description logics
-
[Borgida2003] (eds. Baader et al.). Chap. 10, Cambridge
-
[Borgida2003] Borgida, A., R. J. Brachman: Conceptual Modeling with Description Logics, The Description Logic Handbook (eds. Baader et al.). Chap. 10, Cambridge (2003) 349-372
-
(2003)
The Description Logic Handbook
, pp. 349-372
-
-
Borgida, A.1
Brachman, R.J.2
-
3
-
-
25144481885
-
Extending the RDFS entailment lemma
-
[Horst2004]
-
[Horst2004] Horst, H. J. ter: Extending the RDFS Entailment Lemma. ISWC2004, (2004) 79-91
-
(2004)
ISWC2004
, pp. 79-91
-
-
Ter Horst, H.J.1
-
4
-
-
33646433691
-
Combining RDF and part of OWL with rules: Semantics, decidability, complexity
-
[Horst2005]
-
[Horst2005] Horst, H. J. ter: Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. ISWC2005, (2005) 668-684
-
(2005)
ISWC2005
, pp. 668-684
-
-
Ter Horst, H.J.1
-
5
-
-
33646203385
-
Proceedings of the international conference on automated reasoning with Analytic Tableaux and related methods (TABLEAUX 2005)
-
[Kaneiwa2005], Springer-Verlag
-
[Kaneiwa2005] Kaneiwa, K. and R. Mizoguchi:Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), LNCS 3702, Springer-Verlag, (2005) 169-184
-
(2005)
LNCS
, vol.3702
, pp. 169-184
-
-
Kaneiwa, K.1
Mizoguchi, R.2
-
7
-
-
84941163603
-
SWCLOS: A semantic web processor on common lisp object system
-
[Koide2004]
-
[Koide2004] Koide, S., Kawamura M.: SWCLOS: A Semantic Web Processor on Common Lisp Object System. ISWC2004 Demos, http://iswc2004.semanticweb.org/ demos/32/ (2004)
-
(2004)
ISWC2004 Demos
-
-
Koide, S.1
Kawamura, M.2
-
8
-
-
73449133992
-
OWL vs. object oriented programming
-
[Koide2005], Workshop on Semantic Web Enabled Software Engineering (SWESE)
-
[Koide2005] Koide, S., J. Aasman, S. Haflich: OWL vs. Object Oriented Programming, the 4th International Semantic Web Conference (ISWC 2005), Workshop on Semantic Web Enabled Software Engineering (SWESE), (2005) http://www.mel.nist.gov/msid/conferences/SWESE/repository/8owl-vs-OOP.pdf
-
(2005)
4th International Semantic Web Conference (ISWC 2005)
-
-
Koide, S.1
Aasman, J.2
Haflich, S.3
-
9
-
-
27644539789
-
Distributed collaborative decision support system for rocket launch operation
-
[Misono2005]
-
[Misono2005] Misono, S., S. Koide, N. Shimada, M. Kawamura, and S. Nagano: Distributed Collaborative Decision Support System for Rocket Launch Operation, IEEE/ASME Int. Conf. Advanced Intelligent Mechatronics (AIM2005), (2005)
-
(2005)
IEEE/ASME Int. Conf. Advanced Intelligent Mechatronics (AIM2005)
-
-
Misono, S.1
Koide, S.2
Shimada, N.3
Kawamura, M.4
Nagano, S.5
-
10
-
-
0742268909
-
Tutorial on ontological engineering - Part 2: Ontology development, tools and languages
-
[Mizoguchi2004], OhmSha and Springer
-
[Mizoguchi2004] Mizoguchi, R.:Tutorial on Ontological Engineering - Part 2: Ontology Development, Tools and Languages, New Generation Computing, OhmSha and Springer, 22-1, (2004) 61-96
-
(2004)
New Generation Computing
, vol.22
, Issue.1
, pp. 61-96
-
-
Mizoguchi, R.1
-
11
-
-
4544253452
-
An introduction to description logics
-
[Nardi2003] (eds. Baader et al.). Chap. 1, Cambridge
-
[Nardi2003] Nardi, D., R. J. Brackman: An Introduction to Description Logics, The Description Logic Handbook (eds. Baader et al.). Chap. 1, Cambridge (2003) 1-40
-
(2003)
The Description Logic Handbook
, pp. 1-40
-
-
Nardi, D.1
Brackman, R.J.2
|