An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas.
Saved in:
| Title: | An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. |
|---|---|
| Authors: | Carral, David1, dcarralma@gmail.com, Zalewski, Joseph2, Hitzler, Pascal2 |
| Source: | Journal of Logic & Computation; Jan2023, Vol. 33 Issue 1, p136-162, 27p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 161404507 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Carral%2C+David%22">Carral, David</searchLink><relatesTo>1</relatesTo>, <i>dcarralma@gmail.com</i><br /><searchLink fieldCode="AU" term="%22Zalewski%2C+Joseph%22">Zalewski, Joseph</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AU" term="%22Hitzler%2C+Pascal%22">Hitzler, Pascal</searchLink><relatesTo>2</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Logic+%26+Computation%22">Journal of Logic & Computation</searchLink>; Jan2023, Vol. 33 Issue 1, p136-162, 27p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=161404507 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1093/logcom/exac032 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 27 StartPage: 136 Titles: – TitleFull: An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Carral, David – PersonEntity: Name: NameFull: Zalewski, Joseph – PersonEntity: Name: NameFull: Hitzler, Pascal IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Text: Jan2023 Type: published Y: 2023 Identifiers: – Type: issn-print Value: 0955792X Numbering: – Type: volume Value: 33 – Type: issue Value: 1 Titles: – TitleFull: Journal of Logic & Computation Type: main |
| ResultId | 1 |