History

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 188 total

A tableau algorithm for description logics with nominal schema. (English)
Krötzsch, Markus (ed.) et al., Web reasoning and rule systems. 6th international conference, RR 2012, Vienna, Austria, September 10‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33202-9/pbk). Lecture Notes in Computer Science 7497, 234-237 (2012).
1
Recent advances in integrating OWL and rules (technical communication). (English)
Krötzsch, Markus (ed.) et al., Web reasoning and rule systems. 6th international conference, RR 2012, Vienna, Austria, September 10‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33202-9/pbk). Lecture Notes in Computer Science 7497, 225-228 (2012).
2
Type-elimination-based reasoning for the description logic $\cal {SHIQ}b_s$ using decision diagrams and disjunctive Datalog. (English)
Log. Methods Comput. Sci. 8, No. 1, Paper No. 12, 38 p., electronic only (2012).
3
Computing inconsistency measure based on paraconsistent semantics. (English)
J. Log. Comput. 21, No. 6, 1257-1281 (2011).
4
ODBASE 2011 PC co-chairs’ message. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011 workshops. Confederated international workshops and posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25125-2/pbk). Lecture Notes in Computer Science 7046, 26 (2011).
5
ODBASE 2011 PC co-chairs’ message. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25105-4/pbk). Lecture Notes in Computer Science 7045, 643 (2011).
6
Local closed world semantics: grounded circumscription for OWL. (English)
Aroyo, Lora (ed.) et al., The semantic web ‒ ISWC 2011. 10th international semantic web conference, Bonn, Germany, October 23‒27, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25072-9/pbk). Lecture Notes in Computer Science 7031, 617-632 (2011).
7
Local closed world reasoning with description logics under the well-founded semantics. (English)
Artif. Intell. 175, No. 9-10, 1528-1554 (2011).
8
On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part II. (English)
Lecture Notes in Computer Science 7045. Berlin: Springer (ISBN 978-3-642-25105-4/pbk). xxvii, 431-836. EUR~66.34 (2011).
9
On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part I. (English)
Lecture Notes in Computer Science 7044. Berlin: Springer (ISBN 978-3-642-25108-5/pbk). xxviii, 430~p. EUR~66.34 (2011).
10
Contextual ontology alignment of LOD with an upper ontology: A case study with Proton. (English)
Antoniou, Grigoris (ed.) et al., The semantic web: research and applications. 8th extended semantic web conference, ESWC 2011, Heraklion, Crete, Greece, May 29 ‒ June 2, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21033-4/pbk). Lecture Notes in Computer Science 6643, 80-92 (2011).
11
Local closed world semantics: Grounded circumscription for description logics. (English)
Rudolph, Sebastian (ed.) et al., Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23579-5/pbk). Lecture Notes in Computer Science 6902, 263-268 (2011).
12
Paraconsistent semantics for hybrid MKNF knowledge bases. (English)
Rudolph, Sebastian (ed.) et al., Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23579-5/pbk). Lecture Notes in Computer Science 6902, 93-107 (2011).
13
OWL and rules. (English)
Polleres, Axel (ed.) et al., Reasoning web. Semantic technologies for the web of data. 7th international summer school 2011, Galway, Ireland, August 23‒27, 2011. Tutorial lectures. Berlin: Springer (ISBN 978-3-642-23031-8/pbk). Lecture Notes in Computer Science 6848, 382-415 (2011).
14
What’s happening in semantic web$\dots$ And what FCA could have to do with it. (English)
Valtchev, Petko (ed.) et al., Formal concept analysis. 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2‒6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20513-2/pbk). Lecture Notes in Computer Science 6628. Lecture Notes in Artificial Intelligence, 18-23 (2011).
15
Mathematical aspects of logic programming semantics. (English)
Chapman \& Hall/CRC Studies in Informatics Series. Boca Raton, FL: CRC Press (ISBN 978-1-4398-2961-5/hbk; 978-1-4398-2962-2/ebook). xxx, 274~p. \\$~89.95/hbk (2011).
16
Semantic web tools and systems (English)
Semantic Web 2, No. 1, 1-2 (2011).
17
Semantic web surveys and applications (English)
Semantic Web 2, No. 2, 65-66 (2011).
18
ODBASE 2011 PC co-chairs’ message (English)
OTM Workshops, 26 (2011).
19
ODBASE 2011 PC co-chairs’ message (English)
OTM Conferences (2), 643 (2011).
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 188 total