SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7032 LNCS, Issue PART 2, 2011, Pages 237-252

Rule-based OWL reasoning for specific embedded devices

(2) Seitz, Christian a Schönfelder, René a

a SIEMENS AG (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; EMBEDDED DEVICE; EMBEDDED HARDWARE; FORMAL REPRESENTATIONS; KNOWLEDGE REPRESENTATION LANGUAGE; MEMORY CONSUMPTION; REASONER; REASONING COMPONENTS; RESOURCECONSTRAINED DEVICES; RULE BASED; RULE BASED REASONING; WEB ONTOLOGY LANGUAGE;

DATA DESCRIPTION; KNOWLEDGE REPRESENTATION; ONTOLOGY; SEMANTICS; USER INTERFACES;

EMBEDDED SYSTEMS;

EID: 80055055035 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-642-25093-4_16 Document Type: Conference Paper

Times cited : (21)

References (26)

1
- 67650116737
- μOR - A Micro OWL DL Reasoner for Ambient Intelligent Devices
- Abdennadher, N., Petcu, D. (eds.) GPC 2009. Springer, Heidelberg
- Ali, S., Kiefer, S.: μOR - A Micro OWL DL Reasoner for Ambient Intelligent Devices. In: Abdennadher, N., Petcu, D. (eds.) GPC 2009. LNCS, vol. 5529, pp. 305-316. Springer, Heidelberg (2009)
- (2009) LNCS , vol.5529 , pp. 305-316
- Ali, S.¹ Kiefer, S.²

2
- 33749547173
- CEL - A polynomial-time reasoner for life science ontologies
- Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings
- Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL - A polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 287-291. Springer, Heidelberg (2006) (Pubitemid 44532681)
- (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol.4130 LNAI , pp. 287-291
- Baader, F.¹ Lutz, C.² Suntisrivaraporn, B.³

3
- 23744486124
- Tech. rep., University of Manchester
- Bechhofer, S.: The DIG description logic interface: DIG/1.1. Tech. rep., University of Manchester (2003)
- (2003) The DIG Description Logic Interface: DIG/1.1
- Bechhofer, S.¹

4
- 43949099897
- Department of Computer Science, Carnegie-Mellon University, Pittsburgh
- Forgy, C.L.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Department of Computer Science, Carnegie-Mellon University, Pittsburgh (2003)
- (2003) Rete: A Fast Algorithm for the Many Pattern/many Object Pattern Match Problem
- Forgy, C.L.¹

5
- 80055026237
- Grosof, B., Dean, M., Ganjugunte, S., Tabet, S., Neogy, C.: Sweetrules homepage (2005), http://sweetrules.semwebcentral.org/
- (2005) Sweetrules Homepage
- Grosof, B.¹ Dean, M.² Ganjugunte, S.³ Tabet, S.⁴ Neogy, C.⁵

6
- 80055052832
- Gumstix website
- Gumstix: Gumstix website (2010), http://www.gumstix.com
- (2010)

7
- 9544254748
- Tableaux and Related Methods
- Hähnle, R.: Tableaux and Related Methods. Handbook of Automated Reasoning (2001)
- (2001) Handbook of Automated Reasoning
- Hähnle, R.¹

8
- 80055029820
- Horridge, M.: OWL2 API (2010), http://owlapi.sourceforge.net/
- (2010)
- Horridge, M.¹

9
- 26944499032
- KRHyper - In your pocket
- Nieuwenhuis, R. (ed.) CADE 2005. Springer, Heidelberg
- Kleemann, T., Sinner, A.: KRHyper - in your pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, pp. 452-457. Springer, Heidelberg (2005)
- (2005) LNCS (LNAI) , vol.3632 , pp. 452-457
- Kleemann, T.¹ Sinner, A.²

10
- 78049429890
- Efficient inferencing for OWL EL
- Janhunen, T., Niemelä, I. (eds.) JELIA 2010. Springer, Heidelberg
- Krötzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 234-246. Springer, Heidelberg (2010)
- (2010) LNCS , vol.6341 , pp. 234-246
- Krötzsch, M.¹

11
- 78049438290
- Institut AIFB, KIT, Karlsruhe
- Krötzsch, M.: Efficient inferencing for the description logic underlying OWL EL. Institut AIFB, KIT, Karlsruhe (2010)
- (2010) Efficient Inferencing for the Description Logic Underlying OWL EL
- Krötzsch, M.¹

12
- 78049436545
- Orel: Database-driven reasoning for OWL 2 profiles
- Krötzsch, M., ul Mehdi, A., Rudolph, S.: Orel: Database-driven reasoning for OWL 2 profiles. In: Int. Workshop on Description Logics (2010)
- (2010) Int. Workshop on Description Logics
- Krötzsch, M.¹ Ul Mehdi, A.² Rudolph, S.³

13
- 38749102791
- A rule-based object-oriented OWL reasoner
- Meditskos, G., Bassilades, N.: A rule-based object-oriented OWL reasoner. In: IEEE Transactions on Knowledge and Data Engineering (2008)
- (2008) IEEE Transactions on Knowledge and Data Engineering
- Meditskos, G.¹ Bassilades, N.²

14
- 76449096074
- DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
- Meditskos, G., Bassiliades, N.: DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet. Web Semantics 8(1), 89-94 (2010)
- (2010) Web Semantics , vol.8 , Issue.1 , pp. 89-94
- Meditskos, G.¹ Bassiliades, N.²

15
- 77249169943
- Bossam: An Extended Rule Engine for OWL Inferencing
- Antoniou, G., Boley, H. (eds.) RuleML 2004. Springer, Heidelberg
- Jang, M., Sohn, J.-C.: Bossam: An Extended Rule Engine for OWL Inferencing. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 128-138. Springer, Heidelberg (2004)
- (2004) LNCS , vol.3323 , pp. 128-138
- Jang, M.¹ Sohn, J.-C.²

16
- 33845450917
- Pellet: An OWL DL Reasoner
- Parsia, B., Sirin, E.: Pellet: An OWL DL Reasoner. In: Third International Semantic Web Conference-Poster (2004)
- Third International Semantic Web Conference-Poster (2004)
- Parsia, B.¹ Sirin, E.²

17
- 74049103218
- Tech. rep., University of Maryland
- Parsia, B., Sirin, E., Grau, B.C., Ruckhaus, E., Hewlett, D.: Cautiously approaching SWRL. Tech. rep., University of Maryland (2005)
- (2005) Cautiously Approaching SWRL
- Parsia, B.¹ Sirin, E.² Grau, B.C.³ Ruckhaus, E.⁴ Hewlett, D.⁵

18
- 80055061253
- Raptor website
- Raptor: Raptor website (2010), http://librdf.org/raptor/
- (2010) Raptor

19
- 80055056049
- Riley, G.: CLIPS (2010), http://clipsrules.sourceforge.net/
- (2010)
- Riley, G.¹

20
- 33749556448
- FaCT++ description logic reasoner: System description
- Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings
- Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292-297. Springer, Heidelberg (2006) (Pubitemid 44532682)
- (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol.4130 LNAI , pp. 292-297
- Tsarkov, D.¹ Horrocks, I.²

21
- 80055054838
- University, L.: LUBM website
- University, L.: LUBM website (2010), http://swat.cse.lehigh.edu/projects/ lubm/query.htm
- (2010)

22
- 80055037985
- Volz, R.: FactConverter (2010), http://phoebus.cs.man.ac.uk:9999/OWL/ Converter
- (2010) FactConverter
- Volz, R.¹

23
- 80055038561
- World Wide Web Consortium (W3C): OWL-Lite (2010), http://www.w3.org/TR/ 2004/REC-owl-features-20040210/#s3
- (2010) OWL-Lite

24
- 80055028368
- WorldWideWeb Consortium (W3C): OWL profiles (2010), http://www.w3.org/TR/ owl2-profiles/
- (2010) OWL Profiles

25
- 80055061682
- World Wide Web Consortium (W3C): SPARQL (2010), http://www.w3.org/TR/rdf- sparql-query/
- (2010) SPARQL

26
- 80055061904
- World Wide Web Consortium (W3C) OWL Working Group: nTriples Format (2010), http://www.w3.org/TR/rdf-testcases/#ntriples1
- (2010) nTriples Format

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.