Back to Results
First PageMeta Content



The (Not So) Easy Task of Computing Class Subsumptions in OWL RL? Technical Report Markus Krötzsch Department of Computer Science, University of Oxford, UK,
Add to Reading List

Document Date: 2012-11-13 16:37:49


Open Document

File Size: 549,04 KB

Share Result on Facebook

Company

Oracle / 3SAT / /

Currency

pence / /

/

Facility

University of Oxford / /

IndustryTerm

straightforward algorithms / similar systems / rule systems / rule-based algorithm / class subsumption algorithm / polynomial time rule systems / similar algorithms / polynomial time algorithm / /

Organization

University of Oxford / Technical Report Markus Krötzsch Department of Computer Science / /

Person

Markus Krötzsch / /

ProgrammingLanguage

XML Schema / /

Technology

relatively straightforward algorithms / RDF / rule-based algorithm / polynomial time algorithm / class subsumption algorithm / /