Decidable and undecidable extensions of ALC with composition based role inclusion axioms:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Hamburg
Univ., Bibliothek des Fachbereichs Informatik
2001
|
| Schriftenreihe: | Universität <Hamburg> / Fachbereich Informatik: Mitteilung
301 |
| Beschreibung: | 42 S. 30 cm |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013759105 | ||
| 003 | DE-604 | ||
| 005 | 20010626 | ||
| 007 | t | ||
| 008 | 010529s2001 gw |||| t||| 00||| eng d | ||
| 016 | 7 | |a 961456736 |2 DE-101 | |
| 035 | |a (OCoLC)76207825 | ||
| 035 | |a (DE-599)BVBBV013759105 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 | ||
| 088 | |a FBI HH M 301 01 | ||
| 100 | 1 | |a Wessel, Michael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Decidable and undecidable extensions of ALC with composition based role inclusion axioms |c Michael Wessel. Universität Hamburg, Fachbereich Informatik |
| 264 | 1 | |a Hamburg |b Univ., Bibliothek des Fachbereichs Informatik |c 2001 | |
| 300 | |a 42 S. |b 30 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Hamburg> / Fachbereich Informatik: Mitteilung |v 301 | |
| 810 | 2 | |a Fachbereich Informatik: Mitteilung |t Universität <Hamburg> |v 301 |w (DE-604)BV007932986 |9 301 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009406198 | ||
Datensatz im Suchindex
| _version_ | 1804128580361256960 |
|---|---|
| any_adam_object | |
| author | Wessel, Michael |
| author_facet | Wessel, Michael |
| author_role | aut |
| author_sort | Wessel, Michael |
| author_variant | m w mw |
| building | Verbundindex |
| bvnumber | BV013759105 |
| ctrlnum | (OCoLC)76207825 (DE-599)BVBBV013759105 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01055nam a2200301 cb4500</leader><controlfield tag="001">BV013759105</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010626 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010529s2001 gw |||| t||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961456736</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76207825</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013759105</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">FBI HH M 301 01</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wessel, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Decidable and undecidable extensions of ALC with composition based role inclusion axioms</subfield><subfield code="c">Michael Wessel. Universität Hamburg, Fachbereich Informatik</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hamburg</subfield><subfield code="b">Univ., Bibliothek des Fachbereichs Informatik</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">42 S.</subfield><subfield code="b">30 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Universität <Hamburg> / Fachbereich Informatik: Mitteilung</subfield><subfield code="v">301</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fachbereich Informatik: Mitteilung</subfield><subfield code="t">Universität <Hamburg></subfield><subfield code="v">301</subfield><subfield code="w">(DE-604)BV007932986</subfield><subfield code="9">301</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009406198</subfield></datafield></record></collection> |
| id | DE-604.BV013759105 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:51:30Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009406198 |
| oclc_num | 76207825 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 42 S. 30 cm |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Univ., Bibliothek des Fachbereichs Informatik |
| record_format | marc |
| series2 | Universität <Hamburg> / Fachbereich Informatik: Mitteilung |
| spelling | Wessel, Michael Verfasser aut Decidable and undecidable extensions of ALC with composition based role inclusion axioms Michael Wessel. Universität Hamburg, Fachbereich Informatik Hamburg Univ., Bibliothek des Fachbereichs Informatik 2001 42 S. 30 cm txt rdacontent n rdamedia nc rdacarrier Universität <Hamburg> / Fachbereich Informatik: Mitteilung 301 Fachbereich Informatik: Mitteilung Universität <Hamburg> 301 (DE-604)BV007932986 301 |
| spellingShingle | Wessel, Michael Decidable and undecidable extensions of ALC with composition based role inclusion axioms |
| title | Decidable and undecidable extensions of ALC with composition based role inclusion axioms |
| title_auth | Decidable and undecidable extensions of ALC with composition based role inclusion axioms |
| title_exact_search | Decidable and undecidable extensions of ALC with composition based role inclusion axioms |
| title_full | Decidable and undecidable extensions of ALC with composition based role inclusion axioms Michael Wessel. Universität Hamburg, Fachbereich Informatik |
| title_fullStr | Decidable and undecidable extensions of ALC with composition based role inclusion axioms Michael Wessel. Universität Hamburg, Fachbereich Informatik |
| title_full_unstemmed | Decidable and undecidable extensions of ALC with composition based role inclusion axioms Michael Wessel. Universität Hamburg, Fachbereich Informatik |
| title_short | Decidable and undecidable extensions of ALC with composition based role inclusion axioms |
| title_sort | decidable and undecidable extensions of alc with composition based role inclusion axioms |
| volume_link | (DE-604)BV007932986 |
| work_keys_str_mv | AT wesselmichael decidableandundecidableextensionsofalcwithcompositionbasedroleinclusionaxioms |